Closed jeanphilippegg closed 1 month ago
This fixes issue #339, as discussed there.
I pushed a change, but it is ready to be merged.
Merged. Thank you!
This fixes issue #339, as discussed there.