diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-08-27 19:29:00 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-08-27 19:29:00 +0100 |
| commit | 5a99184967c89992df4544d0c1ca27d79946a1a7 (patch) | |
| tree | 1ffe483a008c2d43441d7f04ef0b006823faf5f0 /docs | |
| parent | 04c2961d0c5493962e948dc8101445cc76f1d460 (diff) | |
| parent | 4adfdea1ad5aca393fa5bb9ff40fdc05827fcd56 (diff) | |
Merge #1680
1680: Correctly infer match with early return r=flodiebold a=SomeoneToIgnore
Fixes #1505
Co-authored-by: Kirill Bulatov <[email protected]>
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions