7.1.2

github-actions released this 29 Jun 12:19

· 37 commits to master since this release

Commits

e4d0e22: local linter (Samuel Lang)
089d678: docs updates (Samuel Lang)
2e87537: github workflow release (Samuel Lang)

Assets 3