1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 5d5fa4b74..7ae4a17b7 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-58ddfe6c3af91d320cf5d0aba33143e7c1d8dc35
+2c71d338bef2cc8a2e5f8ebe70788eeff246fcd8