1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 56e440459..9619fc1b1 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-da08f35b0f82b0a7a79f518faf8d0c0b477f91bc
+0b5477d9dabd96ded4c5ef7a5f08b00188fc1dec