diff --git a/gitrev b/gitrev
index edc667275..898edc832 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-255442c93843f52b6891b21d0b485bf2c97f93c3
+4bf772b14675411a69b3c807f73006de0fe4b649