Update mpr to 5.1.3 (#4415)

vaadin · Aug 21, 2023 · ab4da83 · ab4da83
1 parent 28e0ddf
commit ab4da83
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.2"
+            "javaVersion": "5.1.3"
         },
         "mpr-v8": {
-            "javaVersion": "5.1.2"
+            "javaVersion": "5.1.3"
         },
         "notification": {
             "jsVersion": "22.1.0",