1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 95cb6c123..1fae62259 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-1f947a7a011fcceb14cb912f5481a53b18f1879a
+b5372fe5dc84235dbe04998efdede3c4daa866a9