1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index ecb74ecfd..839c2588b 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-ab7541c3addd344939e76d0636da0048ce24f2db
+def9d2780727cec3313ed3522d0123158d87224d