Checking pipeline status.
Merge details
merged
By Marcin Kolanko on 2019-12-06T15:03:03 (imported from GitLab)
mentioned in commit 737ce4c8