Automated Project Update Bot fixes from run 11-120768.
Skipped
João Ventura
created pipeline for commit
38cb5702
1 related merge request: !12 Automated Project Update Bot fixes