1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 6b5bcabc6..902936458 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-fe76fc6aaf538df27708ffa3e5d549a6c8e16142
+47bfa6d9dc8c060bf56554a465c9031e286d2f80