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 /docs | |
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 'docs')
0 files changed, 0 insertions, 0 deletions