Skip to content
Snippets Groups Projects

minor fix

Warning
Laurent Heirendt created pipeline for commit 9b597389
, finished
Related merge request !346 to merge save-index
merge request
4 jobs 2 minutes 13 seconds, queued for 5 seconds