Resolve "Fix repository name"
Closes #9 (closed)
Edited by Benoît Harrault
Closes #9 (closed)
marked this merge request as ready
enabled an automatic merge when the pipeline for 8c1ee801 succeeds
aborted the automatic merge because source branch was updated
enabled an automatic merge when the pipeline for 1047134c succeeds
mentioned in commit f2f6f33a
merged