mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-02 12:42:23 +00:00

... if they might not be needed. (cherry-picked from commit a23f06dc2052ece4d6de9fc1d80008f82761be4f)
... if they might not be needed. (cherry-picked from commit a23f06dc2052ece4d6de9fc1d80008f82761be4f)