1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 7173ea9a0..b7ba475ea 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-c82be9d2244aacea9851c86f4fb74694c99cd874
+ec3b93ae0bf4742e9cbb40e1964129926c1464e0