From 649d0e23c571344ef1153d4ffb2564f534b85a45 Mon Sep 17 00:00:00 2001
From: Fabien Potencier <fabien@potencier.org>
Date: Wed, 27 Nov 2024 13:55:11 +0100
Subject: [PATCH] Update VERSION for 7.1.9

---
 Kernel.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Kernel.php b/Kernel.php
index 2c464c3936..dc038b0602 100644
--- a/Kernel.php
+++ b/Kernel.php
@@ -73,12 +73,12 @@ abstract class Kernel implements KernelInterface, RebootableInterface, Terminabl
      */
     private static array $freshCache = [];
 
-    public const VERSION = '7.1.9-DEV';
+    public const VERSION = '7.1.9';
     public const VERSION_ID = 70109;
     public const MAJOR_VERSION = 7;
     public const MINOR_VERSION = 1;
     public const RELEASE_VERSION = 9;
-    public const EXTRA_VERSION = 'DEV';
+    public const EXTRA_VERSION = '';
 
     public const END_OF_MAINTENANCE = '01/2025';
     public const END_OF_LIFE = '01/2025';