Checking pipeline status.
Merge details
Pipeline #355160 passed
Pipeline passed for 9433db21 on master Nov 9, 2020
added 1 commit
Compare with previous version
unmarked as a Work In Progress
enabled an automatic merge when the pipeline for c5d7174b succeeds
merged
mentioned in commit 9433db21
