Pipeline #921 passed
Pipeline passed for 92783a9e on userdoc
Pipeline #925 passed
Pipeline passed for 728c461a on master
Enabled an automatic merge when the build for 92783a9e succeeds
Status changed to merged
mentioned in commit 728c461a