diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-17 07:20:36 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-01-17 07:20:36 +0000 |
| commit | 3224ecea8734f850eda474c136ae4dcb7e1aa3f1 (patch) | |
| tree | 0405cf7c9b9787a5be19d226fc7875d389bda15b /docs/dev/guide.md | |
| parent | f5f011ba714589d65b7dae398938242abcbc3fee (diff) | |
| parent | 9b5ba090db2c1f913d3f127573ac60c5eb2601bb (diff) | |
Merge #7276
7276: Remove map module from la-arena public API r=lnicola a=arzg
It’s unlikely that more items will be added to the module, so it’s simpler for users if `ArenaMap` is re-exported and the module made private.
This doesn’t compile for the same reason that #7275 doesn’t:
> This pull request doesn’t compile because dependencies on la-arena go through crates.io, so existing dependencies on the crate are referencing an old version. As such, this PR will only compile once a new la-arena version has been published.
Co-authored-by: Aramis Razzaghipour <[email protected]>
Diffstat (limited to 'docs/dev/guide.md')
0 files changed, 0 insertions, 0 deletions