mirror of
https://github.com/vcmi/vcmi.git
synced 2024-12-22 22:13:35 +02:00
5e96c90996
This helps detecting issues with newer gcc versions, like #2866 Fixes #3407 |
||
---|---|---|
.. | ||
github.yml |