1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 3a8c54797..e16d2a74e 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-0b412605ef5f5c64b31f19e2910b1d5eba9929c3
+642e7fd23353e22290e3d51719fcb658dc252342