Skip to content

Merge pull request #5256 from unisonweb/travis/empty-pattern-match #1260

Merge pull request #5256 from unisonweb/travis/empty-pattern-match

Merge pull request #5256 from unisonweb/travis/empty-pattern-match #1260

This job succeeded