Closed davidanthoff closed 3 weeks ago
Fixes #875.
Thanks a lot! It would be great to have a release tagged for this. :)
Fixes #875.