Pipeline #574 passed
Pipeline passed for a7cd85a1 on driver-into-separate-namespace
Merge details
Pipeline #575 passed
Pipeline passed for 56257714 on master
Status changed to merged
mentioned in commit 56257714