1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index af040e663..198357be1 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-f12e840c819bab42621685558a01d3f46ab9a226
+8e143b90e4d45cca3dc53760d3cfab988bc74571