diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-20 14:08:53 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-12-20 14:08:53 +0000 |
| commit | 8eea4c9d3bdb4e35810e11983002404ef7ac29cc (patch) | |
| tree | 3f38e1ade8e180dd6ebe5e6089853ee484757f9b /docs/dev/README.md | |
| parent | eefbae7ed4fca97281bbcd8e5738311be3a31dc6 (diff) | |
| parent | f942d10e8010918c677b40f821e504d87f057ead (diff) | |
Merge #6959
6959: Use pattern_single instead of pattern in mbe pat r=jonas-schievink a=edwin0cheng
Fix #6882
Co-authored-by: Edwin Cheng <[email protected]>
Diffstat (limited to 'docs/dev/README.md')
0 files changed, 0 insertions, 0 deletions