From 6a17c170fb92845896e1b3b00fcb462cd4b3c017 Mon Sep 17 00:00:00 2001
From: Sebastian Bergmann <sb@sebastian-bergmann.de>
Date: Tue, 10 Apr 2018 13:40:22 +0200
Subject: [PATCH] Prepare release

---
 ChangeLog-7.1.md       | 2 +-
 src/Runner/Version.php | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/ChangeLog-7.1.md b/ChangeLog-7.1.md
index 47f7232d4a1..c78fa91cc1c 100644
--- a/ChangeLog-7.1.md
+++ b/ChangeLog-7.1.md
@@ -2,7 +2,7 @@
 
 All notable changes of the PHPUnit 7.1 release series are documented in this file using the [Keep a CHANGELOG](http://keepachangelog.com/) principles.
 
-## [7.1.2] - 2018-MM-DD
+## [7.1.2] - 2018-04-10
 
 ### Fixed
 
diff --git a/src/Runner/Version.php b/src/Runner/Version.php
index b00870922f7..4f0e2f9ce78 100644
--- a/src/Runner/Version.php
+++ b/src/Runner/Version.php
@@ -30,7 +30,7 @@ public static function id(): string
         }
 
         if (self::$version === null) {
-            $version       = new VersionId('7.1.1', \dirname(__DIR__, 2));
+            $version       = new VersionId('7.1.2', \dirname(__DIR__, 2));
             self::$version = $version->getVersion();
         }