Revision 62b4a02140017af864c0aaf02ad32c92792d3730

Committed on 07/06/2024 11:32 pm by Adam Wójs <adam@wojs.pl> [GitHub Diff]

Merge branch '1.2' into 1.3