1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 3e73b5d6e..940787631 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-bfa738cf3dfae2111626650f86135f93c5ff0a22
+8d31f80eb38819e4f2905ad21c0e8998382a08f7