Revision d53d23439df611968df09c37e6c338e5245bf8ba

Committed on 02/03/2023 6:18 am by Edi Modrić <edi.modric@gmail.com> [GitHub Diff]

Merge branch '1.2' into 1.3