1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 915f386a5..97f8687db 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-bd5d7428f5e50cc10b98cf0abc13ccac391e1e33
+cff3b2c4b3d2112eb9bb344e96d3d6aa66f2c13c