mirror of
https://github.com/The-Powder-Toy/The-Powder-Toy.git
synced 2025-09-09 07:21:04 +02:00
See 1ff6a2d0ae
for the original problem. The fix in that commit was a bad idea, the patch got stale and broke the previous commit.