Merge #15527: doc: Move pr release notes file in wrong dir

This commit is contained in:
MarcoFalke 2019-03-04 14:08:54 -05:00 committed by Munkybooty
parent 97775c22fe
commit 4b4fb27f1d