Pipeline #5525 passed
Pipeline passed for a125a21f on update_sphinx 8 years ago
Pipeline #5526 passed
Pipeline passed for c795b42d on master 8 years ago
Enabled an automatic merge when the build for a125a21f succeeds
Mentioned in commit c795b42d
Status changed to merged