fix #255
Passed
Benjamin Gallois
created pipeline for commit
edcf796f
, finished
Related merge request !284 to merge fix-255
28 minutes 3 seconds, queued for 4 seconds