mirror of
https://github.com/wesnoth/wesnoth
synced 2025-04-28 04:17:20 +00:00

former one is valid but deprecated [ci skip] (cherry-picked from commit d133b510c97cbb1d6b070c27700e3cfd03ada1c2)
former one is valid but deprecated [ci skip] (cherry-picked from commit d133b510c97cbb1d6b070c27700e3cfd03ada1c2)