diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-03-20 07:51:24 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-03-20 07:51:24 +0000 |
| commit | e0952899aee50b813379ca8e6dcab49a895ff0a0 (patch) | |
| tree | ae389283c137194fdabc5e5e45b7021ac9fa3b7f /.gitattributes | |
| parent | 1878fbe8bd60c7f9e58fda6dc7788e5f44ad0f89 (diff) | |
| parent | 89694ec8f685e545585b96b2db6e5410ba117527 (diff) | |
Merge #3662
3662: Support arbitrary discriminants r=matklad a=matklad
Closes #3661
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions