1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 40214f824..722d9b95c 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-e472c64aa4fa6150c6076fd36d101d667d71c30a
+4dd58158254c8a027f2bf5060b72ef64cafa3b9d