1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 410dc0d49..e3c90f070 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-8a61716ff2ab23eddd1f7a05a075a374e4d0c3d4
+7d762d69145a54d169f58e56d6dac57a5508debc