From 87b2ea9d8f6fd014d0621ca089bb1b3769ea3f8e Mon Sep 17 00:00:00 2001
From: Fabien Potencier <fabien@potencier.org>
Date: Tue, 11 Feb 2020 06:59:23 +0100
Subject: [PATCH] Prepare the 1.42.5 release

---
 CHANGELOG           | 2 +-
 src/Environment.php | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/CHANGELOG b/CHANGELOG
index 1f426c9f20d..e549c930723 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,4 +1,4 @@
-* 1.42.5 (2020-XX-XX)
+* 1.42.5 (2020-02-11)
 
  * Fix implementation of case-insensitivity for method names
 
diff --git a/src/Environment.php b/src/Environment.php
index 722e3e4417f..97fa4c4db94 100644
--- a/src/Environment.php
+++ b/src/Environment.php
@@ -41,12 +41,12 @@
  */
 class Environment
 {
-    const VERSION = '1.42.5-DEV';
+    const VERSION = '1.42.5';
     const VERSION_ID = 14205;
     const MAJOR_VERSION = 1;
     const MINOR_VERSION = 42;
     const RELEASE_VERSION = 5;
-    const EXTRA_VERSION = 'DEV';
+    const EXTRA_VERSION = '';
 
     protected $charset;
     protected $loader;