Skip to content

Merge pull request #542 from nikomatsakis/codspeed #491

Merge pull request #542 from nikomatsakis/codspeed

Merge pull request #542 from nikomatsakis/codspeed #491

This job succeeded