1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 3e61dbfb6..40214f824 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-f116b96685a046a89c25d4a6ba2da489145c8888
+e472c64aa4fa6150c6076fd36d101d667d71c30a