diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-04-11 23:01:22 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-04-11 23:01:22 +0100 |
| commit | a8e032820f14cad3630299a1ae16c62dcf59f358 (patch) | |
| tree | 4438f81bdbf88d694b14c3c448c5bb21c8541091 /.github/actions/github-release/Dockerfile | |
| parent | f13da3f895d9d401ff467a6c1fa33a4adf09fe2c (diff) | |
| parent | 5e5eb6a108b00c573455d8d088742592012707be (diff) | |
Merge #3955
3955: Align grammar for record patterns and literals r=matklad a=matklad
The grammar now looks like this
[name_ref :] pat
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.github/actions/github-release/Dockerfile')
0 files changed, 0 insertions, 0 deletions