mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-18 10:09:05 +00:00

[ci skip] See #1905. (cherry-picked from commit 11ca2d8ad833d5258b6fa09acd9bf1e5313c4bd8)
[ci skip] See #1905. (cherry-picked from commit 11ca2d8ad833d5258b6fa09acd9bf1e5313c4bd8)