1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 694419ced..a8eab9573 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-d1e41ff11941784f469f17795a4d9425c2eb4b7a
+ce5c2d2c256a4c8b523036537cd6be2d6af8f69d