diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-03-30 12:21:18 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-03-30 12:21:18 +0000 |
commit | 9ebd14a14e20aebc8e176a8dcb22376eb3a4d73e (patch) | |
tree | fe4ac6c30c35da765b91eb94f552c18278c35459 /editors | |
parent | c4dfced1f85a68c77e65ac6753603c6d14c49599 (diff) | |
parent | 444a119220b8fe2c5ddf996b2a00cb67e375587d (diff) |
Merge #1075
1075: Fix parsing <= in type_args r=matklad a=vipentti
Fixes #1074
Co-authored-by: Ville Penttinen <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions