Closed monacofj closed 6 months ago
Fixes #927.
Thank you @monacofj for your contribution! I have patched it up a little bit, and now it's ready to merge. I also spotted and corrected a little bug thanks to your contribution, which is great news.
Fixes #927.