mirror of
https://github.com/The-Powder-Toy/The-Powder-Toy.git
synced 2025-01-17 14:28:30 +01:00
3f503bcb1c
See 1ff6a2d0ae3a for the original problem. The fix in that commit was a bad idea, the patch got stale and broke the previous commit.