Commit 040fd01d authored by Daniel Le Berre's avatar Daniel Le Berre

Merge branch 'cherry-pick-d7168eec' into 'master'

this gives a more honest version of 'no division'

See merge request !3
parents 5b5b1a0a 9feb2296
Pipeline #379 failed with stages
in 2 minutes and 36 seconds