1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index b7a6fc969..8b879ed07 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-06c85639897cf3ea6a11c5cb6929fb0d9d7efea5
+c42c12a905454734bbddaa9ca62413b4d493234e