1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 57dc7681c..1a12e72aa 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-ad062195731bea1624ce7160e79e0fcdaa25c1b5
+35f7a95266153b1cf0caca3aa9661cb721864527