1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 32cfbda13..ad19f21e6 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-a4685d2f58e2230d4e27fb2ee581d7ea35e5d046
+ff9f8a7cf935468a94d9927c68b00daae701667e