We're happy to announce the release of Metals v0.11.12. This release brings