1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 6e26b2145..e7d2b43d7 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-7b5cf701ea9c395c792e2a7e3b7caf4c68b87721
+ad5e427e0f6b702e52c11d1f7b2b7be3bac7de82