1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 58c2e4ac7..761ddc340 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-6a24e72d23a6a223687274a6cf61a01940a7d7c9
+25364a9e54fb8296837061bf684b76d20eec01fb