diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-17 11:37:34 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-17 11:37:34 +0000 |
commit | ce8ec2863887618dc40c47c075a83d7704452b0b (patch) | |
tree | b8849bc4765766dc43e92a12f52ab287680528f5 /.github | |
parent | d641bccb0ffec543fa444ba523e8d4b63078fa53 (diff) | |
parent | 2ae31e34b1a345ceea23198a7e9e32e557cdbb4d (diff) |
Merge #6914
6914: Rename ImplDef -> Impl r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions