1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index e00d4ecbc..5559cc881 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-bef7b2a7be28638770972ab2709adf11d601c11a
+a10c9c710f9ecea87b9f4bbb837467893b4bef01