diff options
| author | Florian Diebold <[email protected]> | 2020-05-29 16:35:57 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2020-05-29 16:36:43 +0100 |
| commit | 6f67a46a6a264ac7985a10ee19fbf9bbaef924bc (patch) | |
| tree | 579439709de055f029c109f6679887416bf4e1f9 /.github/workflows/ci.yaml | |
| parent | 30658b25d2bb00ec495e0f3396de772141482081 (diff) | |
Fix match ergonomics in closure parameters
Fixes #4476.
Diffstat (limited to '.github/workflows/ci.yaml')
0 files changed, 0 insertions, 0 deletions