diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-27 02:08:19 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-02-27 02:08:19 +0000 |
| commit | 13e16a4ad4c32501472d6b1805ada19b62658135 (patch) | |
| tree | 714d8787e9f26bf2e57aaf6bd1aa14d70f6abde0 /docs/user | |
| parent | 05388b4ea46c886fa4ec8a1d49b71eb816cf7c6d (diff) | |
| parent | 61fd6c6270f9ebc37f4156ae1a4d41053a78cdb1 (diff) | |
Merge #3336
3336: Use text_range::extend_to r=edwin0cheng a=edwin0cheng
Co-authored-by: Edwin Cheng <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions