1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index cc119d032..f8a9a4317 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-a37484638ca5e0aa7c205ecb91c9ace92e83c32c
+3b1e342be265f7df915c68c7c6e450956d8865aa