mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-21 03:23:36 +00:00

[ci skip] Fixes #2912 (cherry-picked from commit 9bf7a4c8fb4cf4c0ace3e745c855a26fcdf04626)
[ci skip] Fixes #2912 (cherry-picked from commit 9bf7a4c8fb4cf4c0ace3e745c855a26fcdf04626)