Remove duplicate 125 release on owners page

pascalchevrel · May 18, 2024 · 535ec3a · 535ec3a
1 parent 44af6be
commit 535ec3a
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/app/models/release_owners.php b/app/models/release_owners.php
@@ -11,6 +11,9 @@
     ARRAY_FILTER_USE_KEY
 );
 
+// Avoid having 2 125 major releases listed
+unset($releases['125.0.1']);
+
 $owners = array_values(array_unique($releases));
 
 $output = [];