mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-19 16:43:34 +00:00

I'm going to merge this, possibly for git-illiteracy reasons, but if this causes problems, it doesn't have to permanently taint the stable branch. We can fix it later.