1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 1a7cfb211..800fd8125 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-024c7e3756d8a42fc41fe8a9488488b9b09d1dcc
+3be7988674ab33565700a37b210f502563d932e6