1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index cb12f1347..013c6e3da 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-c15f6d8d47152762a2819173599ce0eb135297f1
+625e2001e99e82ea3eb5b0370a428a4328b9166b