1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 3f5361903..d9cd28f30 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-8c05f3b965da14e7790711026b32cc10a4c06213
+0ef0fd351550130129bbdb77362488befd7b69d2