Closed HairlessVillager closed 2 months ago
See #1993
I hope this does not cause other problems, but it looks fine, so I guess I'm merging for now.
See #1993