Resolve "Add contributors and changelog in the repository"
Closes #17 (closed)
Closes #17 (closed)
enabled an automatic merge when the pipeline for eca70e3f succeeds
By Rémi Cresson on 2022-09-29T10:11:32 (imported from GitLab)
merged
mentioned in commit 8461b806
By Rémi Cresson on 2022-09-29T10:15:38 (imported from GitLab)