Commit b59f5185 authored by Eric Bruneton's avatar Eric Bruneton

Merge branch 'invert-debug' into 'master'

Replace -debug flag in Printer by -nodebug (-debug continues to work)

See merge request !302
parents 9a7de6ef deeeabc1
Pipeline #9655 passed with stage
in 7 minutes and 19 seconds