Commit 2172811e authored by Christian Tischer's avatar Christian Tischer

Merge branch 'master' into binarization

parents 35c1b4ec e23932a0
Pipeline #10081 failed with stage
in 11 seconds