Merge branch '3425461-post-rector-report' into 'master-d11'
Passed
Gábor Hojtsy
created pipeline for commit
04988203
, finished
8 minutes 33 seconds, queued for 12 seconds