1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 02a66274e..63f65d7f7 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-0e2adab6cf285c41e825b6c74a3aa61324d1132c
+3b7c59a1950c75f2c0152e5a9cd77675b09233d6