(cherry picked from commit 59c15ebe3d)
59c15ebe3d
The release notes used to be an appendix in the manual. After converting to markdown that appendix got lost. This commit reintroduces the release notes into the manual. (cherry picked from commit 6fc71dc563)
6fc71dc563