aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2021-05-25 15:47:46 +0100
committerGitHub <[email protected]>2021-05-25 15:47:46 +0100
commit3a1369955800752ed3a24f52ed2eb6be7ddf22a4 (patch)
tree047556acaa4ff4044d2900902810a3555c6eb2c1 /.github
parent35db5e99f6f982f4257e88d13cbecca250b05efe (diff)
parent28ca37175572403edeb92324d251fbceb4c2487f (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