Automated Project Update Bot fixes
Relates to #3609835. This merge request was automatically created by the Project Update Bot. It contains the changes from run 12-881767.
Relates to #3609835. This merge request was automatically created by the Project Update Bot. It contains the changes from run 12-881767.