From 4b4fb27f1dca40ca5781bca120094c67f2a13ec6 Mon Sep 17 00:00:00 2001 From: MarcoFalke Date: Mon, 4 Mar 2019 14:08:54 -0500 Subject: [PATCH] Merge #15527: doc: Move pr release notes file in wrong dir --- doc/{release-notes => }/release-notes-pr12255.md | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename doc/{release-notes => }/release-notes-pr12255.md (100%) diff --git a/doc/release-notes/release-notes-pr12255.md b/doc/release-notes-pr12255.md similarity index 100% rename from doc/release-notes/release-notes-pr12255.md rename to doc/release-notes-pr12255.md