mirror of
https://github.com/vcmi/vcmi.git
synced 2025-01-26 03:52:01 +02:00
d6986a19d1
PR added on personal request of @misiokles, should fix https://bugs.vcmi.eu/view.php?id=3158