diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-16 23:32:01 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-12-16 23:32:01 +0000 |
| commit | 554dd215c729c3598ceb014f61d9d295d554036a (patch) | |
| tree | 94159153e6f1b26bc7f1b888aeee698ab182ed98 /docs/dev/guide.md | |
| parent | 785860bd171da1a18aed78a5020732831596cd78 (diff) | |
| parent | 21b68a328ca1f8e926f0364727ed105310a573b5 (diff) | |
Merge #6910
6910: Remove `module_lang_items` r=jonas-schievink a=jonas-schievink
It isn't used anywhere except in `crate_lang_items`. Remove it to
slightly reduce memory usage and simplify the code.
bors r+
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'docs/dev/guide.md')
0 files changed, 0 insertions, 0 deletions