diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-19 22:35:50 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-05-19 22:35:50 +0100 |
| commit | 764241e38e46316b6370977e8b51e841e93e84b9 (patch) | |
| tree | fdb5a37e1cb811000e381aeacfe593edb193a0e9 /docs | |
| parent | 7cb5920372017b81b954705c03d0b24e60c3e223 (diff) | |
| parent | d4eb6708d9d62e951e6b594eb4481e944daa8bc3 (diff) | |
Merge #8889
8889: internal: Track in-scope derive helpers during nameres r=jonas-schievink a=jonas-schievink
...without using them yet
bors r+
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions