Skip to content

2022-12-17: Daily merge of 22.0. into master

Hopefully final merge of 22.0 into master. Only contains !58788 (merged).

cc @iluise @wlampl

Edited by Frank Winklmeier

Merge request reports