1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index bc81b33b9..8842cc5a8 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-9e8312f5e160ade069e131d54ab8652cf0e86e1a
+9cf6b756cdf2cd38b8b0dac2567f7c6daf5e79d5