1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 26b92dda7..e0c0702b3 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-f2bc9c908dfe3f56fe4ca4d92e5c5be80963b973
+600d7258316d87cf9ecd58b6fdc8a35deca0870c