mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-16 02:15:19 +00:00
15b0bfcdcd
because artifactory is down too much and they plan to move away from it anyway. Fixes issue #9690