🤖: debian, red-hat-openshift, tomcat

debian:
- Item root['versions']['13.1'] ({'name': '13.1', 'date': '2025-09-06'}) added to dictionary.
- Item root['versions']['12.12'] ({'name': '12.12', 'date': '2025-09-06'}) added to dictionary.

red-hat-openshift:
- Item root['versions']['4.14.56'] ({'name': '4.14.56', 'date': '2025-09-04'}) added to dictionary.
- Item root['versions']['4.18.23'] ({'name': '4.18.23', 'date': '2025-09-03'}) added to dictionary.
- Item root['versions']['4.16.47'] ({'name': '4.16.47', 'date': '2025-09-03'}) added to dictionary.
- Item root['versions']['4.19.10'] ({'name': '4.19.10', 'date': '2025-09-02'}) added to dictionary.

tomcat:
- Item root['versions']['8.5.89'] ({'name': '8.5.89', 'date': '2023-05-09'}) added to dictionary.
- Item root['versions']['10.1.9'] ({'name': '10.1.9', 'date': '2023-05-09'}) added to dictionary.

releases/debian.json

@@ -115,6 +115,14 @@
     }
   },
   "versions": {
+    "13.1": {
+      "name": "13.1",
+      "date": "2025-09-06"
+    },
+    "12.12": {
+      "name": "12.12",
+      "date": "2025-09-06"
+    },
     "13": {
       "name": "13",
       "date": "2025-08-09"