Revision 91df3e34e0cd419553d6eaeb4f880e471dfdec09

Committed on 16/02/2021 6:00 am by Edi Modrić <edi.modric@gmail.com> [GitHub Diff]

Merge branch '1.2'