Revision e7363badeea8e7e301eff024b50fb5df251139aa

Committed on 02/11/2020 12:51 pm by Adam Wójs <[email protected]> [GitHub Diff]

Merge branch '1.2'