1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index f73e5994f..c2d58a753 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-8053e5b93eca9b011f7b79bb019bf1eeaaf96c4b
+85758777c2a227fd1541b6dd122a08ab79c347ce