1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 10f5be6f4..d4c6440f8 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-ce1fad2740c648a4340f6f6c391a8a83769d2e8c
+8a70dd2669200ce83255ed8c5ebef7e59f9e8707