Commit 9910c111 by François C.

Misc change for production use

parent c18fc4b6
Pipeline #2811 failed with stage
in 1 minute 19 seconds