1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 57dfc3325..672e64816 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-c343db455eb3105f11bb5ac290d77ab2006b0209
+fa520c47eaa15b9baa8ad66ac18da4a31679693b