[vcmi/f33] Update to a git snapshot, pick the same one as Debian
Miro Hrončok
Wednesday, 30 September
2020
Wed, 30 Sep
'20
8:44 a.m.
Summary of changes:
f6243dd... Update to a git snapshot, pick the same one as Debian (*)
(*) This commit already existed in another branch; no separate mail sent
