mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-13 15:58:52 +00:00

This is a fixup of bugfix #18829 (which was commit 736ceaa6c7e81882c9c5b2e932307b1f1ecb3bfd)
This is a fixup of bugfix #18829 (which was commit 736ceaa6c7e81882c9c5b2e932307b1f1ecb3bfd)