diff options
author | Florian Diebold <[email protected]> | 2020-05-29 15:03:06 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2020-05-29 15:04:56 +0100 |
commit | 7d0586cb15000193941f93d4b5281e56ef751edd (patch) | |
tree | 84d3847e805b43b641ec7db04f78064835c1ee07 /docs/dev | |
parent | 190a0595a478d059fdd95a179fe38d59cb6379be (diff) |
Use first match branch in case of type mismatch, not last
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.
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions