1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index e2c3f8c0f..f3fcbd1dd 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-ae4b064e2a616b545acf02b8f50cc513b32c7522
+d1eef1c619749b2a57e514a3fa67d9a516ffa919