mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-04 14:53:37 +00:00

[ci skip] Should fix two of the issues mentioned in 2709. (cherry-picked from commit 8d1ec6216bb336f29f5e213df5b1418703cdc0a0)
[ci skip] Should fix two of the issues mentioned in 2709. (cherry-picked from commit 8d1ec6216bb336f29f5e213df5b1418703cdc0a0)