Revert "Merge branch 'pregmod-master' into 'pregmod-master'"

Pregmodderrequested to merge
revert-6f762c99 into pregmod-master

This reverts merge request !3010 (merged)

Merge request reports