Skip to content

Use different git diff command.

Closes #3401988

Merge request reports