1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 315cfb3c6..14d3780f9 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-98b9f8a4549909c6ba2117dfc09404989e6d8710
+143c97cc652949893c8056c679012f0aeccb80e5