1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 23ff56710..21b9af1eb 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-711bef65e91d2a06730bf8c64bb00ecab48815a1
+9395452b4aab7bc2475ef8935b4a4fb99d778d70