v0.13.0

oOo0oOo released this 13 Nov 10:15

· 383 commits to main since this release

a41074e

What's Changed

Add declaration_name parameter to lean_diagnostic_messages by @jessealama in #60
Add line range parameter to lean_diagnostic_messages

Full Changelog: v0.12.0...v0.13.0

Contributors

jessealama

Assets 2