1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index e367fb2da..d737e7306 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-a27fc14219f2e3c4a46ba9177b04d9b52c875532
+87ef12027b9b1dd0e0b12cf311fbcb19f9d92539