See merge request !583 (merged)
(cherry picked from commit b10e1828)
Pipeline #1388661 passed
Pipeline passed for 591804d3 on cherry-pick-b10e1828 5 years ago
Merge details
Pipeline #1392624 passed
Pipeline passed for eab4787c on 2017-patches 5 years ago
added all-slots cleanup labels
removed all-slots label
merged
mentioned in commit eab4787c