Open lucaromanoxyz opened 2 months ago
Hey there! I'm gonna include this in #1901 to ensure your changes gets pulled in asap.
When possible please go ahead and close this PR. Thanks!
If I close it, github says that there are no merged commit
Oh sorry, I just added your changes manually to my commit. I didn't even realize it was possible to merge commits... now in hindsight that seems so obvious haha.
Close #88