1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index e16d2a74e..07ce1e349 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-642e7fd23353e22290e3d51719fcb658dc252342
+17dec0a949153d9ac00760ba2f5b78cb583e995f