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