mirror of
https://github.com/vcmi/vcmi.git
synced 2025-01-20 03:29:32 +02:00
8e68c7dcd8
#4139 - attempt to fix crash on portal probbing