Update latest.json (#26833)

2020-08-06 17:33:50 +02:00
parent 02b12d3a7b
commit 4334e34366
1 changed files with 2 additions and 2 deletions
@@ -1,4 +1,4 @@
 {
-  "stable": "7.1.2",
-  "testing": "7.1.2"
+  "stable": "7.1.3",
+  "testing": "7.1.3"
 }