1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 6fda0478b..818300e56 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-88abd8249ee8bcebb98c90e890ea5e342db832af
+ded6e842cf499ef04b0d611d92b859d5b846c497