Fix wrong header in release notes
authorPaul Bauer <paul.bauer.q@gmail.com>
Fri, 20 Dec 2019 13:28:10 +0000 (14:28 +0100)
committerArtem Zhmurov <zhmurov@gmail.com>
Fri, 20 Dec 2019 13:30:10 +0000 (14:30 +0100)
commit1288d2e611d917a266ec1a61a1a8d476a4be1291
tree532b26fd85e6ccd8774b08ad476c07b26c87d38e
parentafabdfcc955d91132d483ae0eb15dadb99235752
Fix wrong header in release notes

Fixes #3261

Change-Id: Icc31b7a273670e99c21c9bb60343e1ce5d532653
docs/release-notes/2020/major/miscellaneous.rst