1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 6f263571c..21b9af1eb 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-d0acc7dfd90eb97e90ccd42a567034017ec60fb8
+9395452b4aab7bc2475ef8935b4a4fb99d778d70