aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2021-03-18 00:43:18 +0000
committerGitHub <[email protected]>2021-03-18 00:43:18 +0000
commit5632e61f79ff8827816ccfab9f01ce2e349f3144 (patch)
treeb4d79d73f7a2fd98fa7a32b3da2040dba1008a77 /editors
parentbda858bba941fe7e629366072e34f2292494cc68 (diff)
parentb5cb2829a419dd6a82b320232fadf05d9f042390 (diff)
Merge #8079
8079: Avoid cloning `CfgOptions` r=jonas-schievink a=jonas-schievink bors r+ Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions