diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-10-15 11:50:26 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-10-15 11:50:26 +0100 |
| commit | 7dd09a7b34d7c9cc2739a1106b3e383b7d9044ff (patch) | |
| tree | b6dc85cec3ffb066ef61f4fbe26f8a5353a29835 /crates/profile | |
| parent | ba6679dc6ce7065d349ac4d93ab86826b13e15a5 (diff) | |
| parent | 010d123f23e0b3766b0501a5ad9dbdb47fee7ada (diff) | |
Merge #6236
6236: Code: Insert a ZWNJ before `after` type hints r=matklad a=lnicola
to prevent the editor from displaying a ligature there.
Fixes #6235
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'crates/profile')
0 files changed, 0 insertions, 0 deletions