diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-02-04 21:42:57 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-02-04 21:42:57 +0000 |
| commit | 842033b15055eba9aabfc730468cd076a30a5f29 (patch) | |
| tree | 08bbf19e5bc90699c00d1a8cae709d7f6e0e13ac /editors/code | |
| parent | de046bf4572a75cf534a2342358a422b2f18d01c (diff) | |
| parent | 474df093a9d91e2995e34608b577bff2b28f1e04 (diff) | |
Merge #7561
7561: Avoid using ModPath's fields directly r=jonas-schievink a=jonas-schievink
bors r+
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'editors/code')
0 files changed, 0 insertions, 0 deletions