fix #255
Passed
Benjamin Gallois
created pipeline for commit
9b7f4b2c
, finished
Related merge request !284 to merge fix-255
39 minutes 40 seconds, queued for 2 seconds