1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 1e8d60396..1a5531c15 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-101105b1717f536ca741f940033996302d4ef191
+1573d2caf713874cfe0d1336c823d0fb548d8bed