From e3a7e8455e6c207d08c6e8d4436af6d1a0fecabc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20M=C3=A4der?= <cimnine@users.noreply.github.com>
Date: Sat, 21 Dec 2019 15:24:34 +0100
Subject: [PATCH] Updated Release (markdown)

---
 Release.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Release.md b/Release.md
index 2600dd8..9cfddf1 100644
--- a/Release.md
+++ b/Release.md
@@ -13,7 +13,7 @@
    6. Clean up your local branches: `git branch -d feature-name`
 2. Put the new version into the `VERSION` file: `echo "0.20.0" > VERSION`
 3. Make a commit with the version file change: `git commit -m "Preparation for $(cat VERSION)" VERSION`
-4. Push the branch and make a PR on Github from `develop` to `release`: [.../pull/new/master..develop][new-pr]
+4. Push the branch [and make a new PR on Github from `develop` to `release`][new-pr]
 
 Now another maintainer has to approve the PR.