Chore: Update latest.json for 7.1.2 (#26809)

2020-08-05 16:14:23 +02:00
parent 541ce55670
commit e26745368e
1 changed files with 2 additions and 2 deletions
@@ -1,4 +1,4 @@
 {
-  "stable": "7.1.1",
-  "testing": "7.1.1"
+  "stable": "7.1.2",
+  "testing": "7.1.2"
 }