diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-27 16:42:01 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-27 16:42:01 +0000 |
commit | 1d530756ed7ba175ec32ff71247072798dc9a748 (patch) | |
tree | 963fdccf1eb28ecc23031f3e7ec12cfb7510e723 /xtask/src/metrics.rs | |
parent | 8f2622199e86ea0d4c8accf72c364ac8eddbf545 (diff) | |
parent | 26e1f7696ae3903f868e50409fb7ee70ee37d6db (diff) |
Merge #7050
7050: Ignore third punct when matching for 2-composite punct in mbe r=jonas-schievink a=edwin0cheng
Fixes #6692
Co-authored-by: Edwin Cheng <[email protected]>
Diffstat (limited to 'xtask/src/metrics.rs')
0 files changed, 0 insertions, 0 deletions