1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 6681ac6e6..a5fa4ad75 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-cf1fb158230edce8a0482bfb2e59b9c390477fb6
+5f615b97cdea733c955e152774e1501107564fbd