diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-08-24 11:50:04 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-08-24 11:50:04 +0100 |
| commit | 6eddcfd7a5e62c5e0b188fcdb084b8147cd7c62c (patch) | |
| tree | bf0d57ad3c6ba18bff21cfdc3a2eb97784a764d7 /editors | |
| parent | e65d48d1fb3d4d91d9dc1148a7a836ff5c9a3c87 (diff) | |
| parent | fc3e591bdb28745ef29e90de2c1625e6d4e4a229 (diff) | |
Merge #5853
5853: Avoid monomorphization
r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions