1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 3700e320f..5e1617f7d 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-1e09177acae32a61586af26d83ca5ef591cdcaf5
+c25c74b7476e27180e9b76840e963e542023f118