Automated Project Update Bot fixes
This merge request was automatically created by the Project Update Bot. It contains the changes from run 11-139588.
This merge request was automatically created by the Project Update Bot. It contains the changes from run 11-139588.