aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2020-03-30 11:19:02 +0100
committerGitHub <[email protected]>2020-03-30 11:19:02 +0100
commitd2ea3f25b53deac5785485ab5dfe5e6b3b893bf5 (patch)
treeb979afc6883c973d4b95765a292e6e5c8b819e96 /editors
parent3901198e87df9c85b4a2e996240ca05c6950900f (diff)
parentddb9cc47d17204e5d52529ca04a4093f8ed8ec08 (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