From 54880ea49648d9a90c613f05fd734cd1d6e43eb4 Mon Sep 17 00:00:00 2001
From: Sebastian Bergmann <sb@sebastian-bergmann.de>
Date: Tue, 28 May 2019 13:52:04 +0200
Subject: [PATCH] Prepare release

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

diff --git a/ChangeLog-7.5.md b/ChangeLog-7.5.md
index 5f0b6ea0f15..df257c1a3b1 100644
--- a/ChangeLog-7.5.md
+++ b/ChangeLog-7.5.md
@@ -2,7 +2,7 @@
 
 All notable changes of the PHPUnit 7.5 release series are documented in this file using the [Keep a CHANGELOG](http://keepachangelog.com/) principles.
 
-## [7.5.12] - 2019-MM-DD
+## [7.5.12] - 2019-05-28
 
 ### Changed
 
diff --git a/src/Runner/Version.php b/src/Runner/Version.php
index 0abbefb11d5..329cf7814de 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.5.11', \dirname(__DIR__, 2));
+            $version       = new VersionId('7.5.12', \dirname(__DIR__, 2));
             self::$version = $version->getVersion();
         }