diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-03-30 11:19:02 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-03-30 11:19:02 +0100 |
| commit | d2ea3f25b53deac5785485ab5dfe5e6b3b893bf5 (patch) | |
| tree | b979afc6883c973d4b95765a292e6e5c8b819e96 /editors | |
| parent | 3901198e87df9c85b4a2e996240ca05c6950900f (diff) | |
| parent | ddb9cc47d17204e5d52529ca04a4093f8ed8ec08 (diff) | |
Merge #3761
3761: Append new match arms rather than replacing all of them r=matklad a=mattyhall
This means we now retain comments when filling in match arms. This fixes #3687. This is my first contribution so apologies if it needs a rethink! I think in particular the way I find the position to append to and remove_if_only_whitespace are a little hairy.
Co-authored-by: Matthew Hall <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions