1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 3ecc54bf7..79b4771cb 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-6556677a80400ca5744340d8ff6fbed22621293e
+e525de3ab04621d227330aa82cd4073c0b0f3579