Closes #13 (closed)
added Bug label
merged
mentioned in commit acd9f6e0
By Cresson Remi on 2022-03-07T18:07:21 (imported from GitLab)