diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-29 22:07:43 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-05-29 22:07:43 +0100 |
| commit | f7f01dd5f0a8254abeefb0156e2c4ebe1447bfb6 (patch) | |
| tree | 1a5a9c99f95f623ccdd8fb12c40649477196e8f5 /docs/user/features.md | |
| parent | 3689c8c3f67ed8ed63674ef50c6022fc91db2e13 (diff) | |
| parent | 7d0586cb15000193941f93d4b5281e56ef751edd (diff) | |
Merge #4651
4651: Use first match branch in case of type mismatch, not last r=kjeremy a=flodiebold
The comment says this was intentional, but I do agree with #4304 that it makes
more sense the other way around (for if/else as well).
Fixes #4304.
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'docs/user/features.md')
0 files changed, 0 insertions, 0 deletions