diff --git a/xml/development/info.json b/xml/development/info.json
index f7dfd94505b8..3cea49de14ba 100644
--- a/xml/development/info.json
+++ b/xml/development/info.json
@@ -1,4 +1,4 @@
   {
-    "commit": "a25a3c642414084080204b5a858f8fd533d342f2",
+    "commit": "13ebeff1b4bb505b977ebdaf3c340dc4ef272720",
     "branch": "development"
   }