1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 021680cf7..52b779ec0 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-35dbba31be52c59a89bd96d49f170999d57c9234
+887c8ba753fbe809ba93fa3cfd0cc46db18d37d4