Closed rubensfig closed 3 years ago
I think no commit "was merged", but rather "The release notes where pushed without any reviews and need some adaptations. Revert the original commit here and create a new PR for the updated release notes to allow reviews"
Updated the commit message
lgtm
The release notes where pushed without any reviews and need some adaptations. Revert the original commit here and create a new PR for the updated release notes to allow reviews