Revision 2c2d69377daf8fb9199c473e9d807da07f7745f0

Committed on 26/10/2022 8:25 am by Edi Modrić <edi.modric@gmail.com> [GitHub Diff]

Merge branch '1.3'