1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 19f4cd4f7..f793d684e 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-0519359784328bfa92bf0931bf0cff3b58c16932
+58c3f14f86c98e4030b03e6ab929fa3190565d4f