1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index e408e5aaf..9902b93d5 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-ea9b5ee31078b027ced5b6e9ec4f2a10bd5e49c0
+1b88accf6a659c46d5c8e68912896f112bf882bb