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