Skip to content
Snippets Groups Projects

update wrong char

Failed
Willem-Jan Vriend created pipeline for commit a075d050
finished
Related merge request !353 to merge wjv/bugfix/wrong_char
merge request
9 Jobs 64 minutes 57 seconds, queued for 4 seconds