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