1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index d8cc6d462..7e7164661 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-7639dad93a5564579987abded4ec05e3db13659d
+84787c572d402644dca4874aba73324d9f8e3948