Closed GuillaumeGomez closed 4 months ago
Fixes #1056.
I added a commit to deduplicate the both branches a bit. Please feel free to un-cherry-pick the commit if you don't like it. :)
No I love it. Should have thought about that. :)
Nice!
Fixes #1056.