diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-11-26 20:30:16 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-11-26 20:30:16 +0000 |
| commit | fc0354b2803bccfeb6e0c3335a5d4e52288c05b4 (patch) | |
| tree | a1dc3edd4b21b245eeb0a54e7509373942c39a3a /docs/user | |
| parent | 38d595c36fda9dc62c78c860421144999612e64c (diff) | |
| parent | ee06c07f50fe590c5185807daa19de1d5540e66b (diff) | |
Merge #6635
6635: Complete struct in irrefutable let r=Veykril a=Veykril
Fixes #6210
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions