1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 515c8c635..24793a6ce 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-9e0600f5cf6cecfcab5046d1453a9538c054d8a7
+a0651c7fa2c088a605f63792279859608ed7f2c8