Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Bump infection/infection from 0.9.3 to 0.13.1
Bumps [infection/infection](https://github.com/infection/infection) from 0.9.3 to 0.13.1. - [Release notes](https://github.com/infection/infection/releases) - [Changelog](https://github.com/infection/infection/blob/master/CHANGELOG.md) - [Commits](infection/infection@0.9.3...0.13.1)
- Loading branch information