Closed lucafavatella closed 5 years ago
This is a small patch I had drafted some time ago. I rebased it on master and it seems to still make sense, though I did not test it locally.
CI passed on macOS. I see the CI has recently been unstable on Linux.
closed through #755, thanks!
This is a small patch I had drafted some time ago. I rebased it on master and it seems to still make sense, though I did not test it locally.