1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 09cced593..93e731af4 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-0e3f1ad80fc8cb0c517fd9a9afb22752b741fa76
+96b95eff4a591dbac582c2590d067e356a18aacb