1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index e84f35724..031cedf22 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-6b4703768268d09ac928c64474fd686adf4574f9
+0b5b1f9a78b5e1bb3c3972fcd27dc013367550f8