Checking pipeline status.
Pipeline #357693 passed
Pipeline passed for 15574c79 on master Nov 9, 2020
added 1 commit
Compare with previous version
unmarked as a Work In Progress
merged
mentioned in commit 15574c79
