diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-10 13:47:23 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-07-10 13:47:23 +0100 |
| commit | 0f7770ae43dd0d97686eb85fccb38801ff30117b (patch) | |
| tree | 754d726b02595db4dcc4594712e30ca97a336988 /.gitignore | |
| parent | 5fa8f8e3761363098c80e11842682dffcee171d8 (diff) | |
| parent | 075380dd56439cdaf1967b7298e10b96b995fc07 (diff) | |
Merge #5292
5292: Goto type definition improvements r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions