1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index d8f3ffeec..af040e663 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-195303136f192d37b89e20a8d1d2670d0d825266
+f12e840c819bab42621685558a01d3f46ab9a226