chore: Upgrade MPR to 5.1.5 (#4809)

vaadin · Dec 8, 2023 · b9abb9c · b9abb9c
1 parent d3cd0a7
commit b9abb9c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/versions.json b/versions.json
@@ -166,10 +166,10 @@
             "npmName": "@vaadin/message-list"
         },
         "mpr-v7": {
-            "javaVersion": "5.1.4"
+            "javaVersion": "5.1.5"
         },
         "mpr-v8": {
-            "javaVersion": "5.1.4"
+            "javaVersion": "5.1.5"
         },
         "notification": {
             "jsVersion": "22.1.0",