diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-10-23 12:13:04 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-10-23 12:13:04 +0100 |
| commit | d2e1f9f6da01132fd23394b5b789e4ef96ccc444 (patch) | |
| tree | 686a96cbf68c7ae3c43c9f062d49cf70edd71cdb /.github | |
| parent | 195272270be99c353c9555c9e36c66068434af60 (diff) | |
| parent | 770bb8dc9b0d2e693918a4f8c8039bf2c6deab66 (diff) | |
Merge #1980
1980: Shorten inline type hints r=matklad a=detrumi
Implements #1946
Co-authored-by: Wilco Kusee <[email protected]>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions