1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 19ea72e99..1c08ca2e8 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-5e7a8ca319268a70a6c7c3c1fde5bea38e1e5539
+8ed86627f715eacbd6db6862f9499d6d96ea4ad6