Commit 6f37b62e authored by Petr Špaček's avatar Petr Špaček

Merge branch 'diffsum-without-diffrepro' into 'master'

diffsum: option to omit diffrepro data from summary See merge request !7
parents 50ffd9de ead97e4a
Pipeline #37776 passed with stage
in 1 minute 13 seconds