From 0c0a1887e3055e8327d3b60faba57c2b634389da Mon Sep 17 00:00:00 2001
From: Michael Friedrich <michael.friedrich@netways.de>
Date: Wed, 15 Jul 2015 12:38:15 +0200
Subject: [PATCH] Update RELEASE.md for minor releases

---
 RELEASE.md | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/RELEASE.md b/RELEASE.md
index 222c1e11e..903683bd6 100644
--- a/RELEASE.md
+++ b/RELEASE.md
@@ -62,8 +62,15 @@ Push the tag.
 For major releases: Create a new "support" branch:
 
     $ git checkout master
-    $ git checkout -b support/2.x
-    $ git push -u origin support/2.x
+    $ git checkout -b support/2.3
+    $ git push -u origin support/2.3
+
+For minor releases: Push the support branch and cherry-pick the release commit into master:
+
+    $ git push -u origin support/2.3
+    $ git checkout master
+    $ git cherry-pick support/2.3
+    $ git push origin master
 
 # External Dependencies