Skip to content

Docstring: add missing term 'disjoint' from matches, rmatches#42586

Merged
bors merged 1 commit intorust-lang:masterfrom
ideasman42:patch-1
Jun 12, 2017

Commits

Commits on Jun 10, 2017