1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 6863f5ef9..457fc2883 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-0ecfebd2b52404ae0c54a878c872bb93363ada36
+5ad18b2e60b75c7297a998dea702451d33a052ed