Closed Doublonmousse closed 7 months ago
Fixes #1022
Thanks a lot! Do you want to add yourself to AUTHORS ?
AUTHORS
Why not. Is keeping the pseudonym okay ?
yeah sure!
Fixes #1022