manual: port changes from preprocessor@e85d085a

Merge request reports

Loading