diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-18 20:54:24 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-03-18 20:54:24 +0000 |
commit | 5e82d3172282e159e539569b80b3135c17b972f0 (patch) | |
tree | a2ad2b6faf8c708fc593546df64d489c117b61f2 /editors/code/src | |
parent | b70bea0d7994cbe7b1e01e6b2e0f4ab3ac2c6fd5 (diff) | |
parent | 7a7e47eab7323a8e122d9994b2936e50e42a1af2 (diff) |
Merge #8096
8096: Chalkify TraitRef r=flodiebold a=flodiebold
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'editors/code/src')
0 files changed, 0 insertions, 0 deletions