v0.8.0

What's Changed

• Add diagnostic logging to update_file for #21 by @jessealama in #26
• Set logging verbosity using env variable LEAN_LOG_LEVEL
• Bump dependencies

New Contributors

• @jessealama made their first contribution in #26

Full Changelog: v0.7.0...v0.8.0