Merge release-2021 into release-2022
The final merge of 2021 into 2022. As there was no code change to 2021 after the last merge on 6 December, this merge just adds the release date of 2021.7.
Edited by Sebastian Wingbermühle
The final merge of 2021 into 2022. As there was no code change to 2021 after the last merge on 6 December, this merge just adds the release date of 2021.7.