diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-25 15:47:46 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-05-25 15:47:46 +0100 |
commit | 3a1369955800752ed3a24f52ed2eb6be7ddf22a4 (patch) | |
tree | 047556acaa4ff4044d2900902810a3555c6eb2c1 /.github | |
parent | 35db5e99f6f982f4257e88d13cbecca250b05efe (diff) | |
parent | 28ca37175572403edeb92324d251fbceb4c2487f (diff) |
Merge #8991
8991: Consider trait to be in scope for trait-impls r=Veykril a=Veykril
Fixes #8912
bors r+
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions