1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 78603d10a..fab63dbea 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-ead68f216110170ec729e2c4dec0aad6d38259d7
+00a5ae218d57741088068799b810416ac249a9ce