1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 5cb077af6..67b1b7400 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-f83246089ca09308425175d47f5e71e6da68b2ef
+8b5d11e4b095450e2f259d5f60ea18c13d2fe0a2