diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-25 12:31:48 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-01-25 12:31:48 +0000 |
| commit | 0a6b2b784618ffbc7775e9a3e3aaf42689bb2962 (patch) | |
| tree | 2d1d4f47d12daaa510e43de24b117e8e5954fdd2 /.github | |
| parent | 82af033f2fa19d370797b7c6f3a99acd3e47c89e (diff) | |
| parent | 5ed5a542fb6741b643c07855625cfd1531c10e2e (diff) | |
Merge #7424
7424: Derive Default on ItemTree r=lnicola a=lnicola
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions