1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 9da2ff725..dfcc6c8c5 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-5f479447d983111c039f1d6d958553c1ad1b2ff1
+4f2ba5dc183b71362c3655b50c72f1b10ccac1c1