Open fchapoton opened 1 month ago
Checklist
doc/news/
Trying to fix #80 (with no hindsight) and also little house-cleaning in the modified file.
The linter is fixed in my other poule requeste.
Checklist
doc/news/
.Trying to fix #80 (with no hindsight) and also little house-cleaning in the modified file.