Closed giovanni-cutri closed 2 years ago
Fix #554
Thanks for the fast changes!
I'll leave this open for a little while longer in case anybody has some further comments, but AFAICT it's ready for merging asap! :)
Fix #554