1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 2d93347d0..f30a7db33 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-4064e47c82810586975b4304b105056389beaa06
+70c25259537c073584eb906865307687275b527f