mirror of
https://github.com/vcmi/vcmi.git
synced 2025-01-20 03:29:32 +02:00
aa0433228a
Workaround-ish but should work. Branch should be fixed now.