Revision 74a77632c865dc43c8d9acda81fd8ef67cf20abf

Committed on 20/11/2023 10:25 am by Adam Wójs <adam@wojs.pl> [GitHub Diff]

Merge branch '1.2'