1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 0d8eec639..8b3a3b4b8 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-968f3e374faf41e5e6049399eb7302777a09a1e8
+01cde1538e1dff4254e340f606177a870131a01f