1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 32cfbda13..a47156412 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-a4685d2f58e2230d4e27fb2ee581d7ea35e5d046
+883af14e67e8b8702b5560aa64c888c0cd0bd66c