1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index c2bc39394..05885b6a5 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-582549e3fbe137eb6ce9be591aca25c2222a36b4
+8ee15f3248660f85102a47410079d408615723d4