Skip to content

2023-03-23: merge of 23.0 into master

👋 New experimental format for merge commit descriptions. Only few minor changes were required to prepare_release_notes.py.

This sweep contains the following MRs:

Edited by Frank Winklmeier

Merge request reports