Revision 7f3c6da90ee0e3e75baadd5c14868e146e9cba91

Committed on 02/12/2022 6:54 am by Edi Modrić <edi.modric@gmail.com> [GitHub Diff]

Merge branch '1.3'