diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-20 09:52:34 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-05-20 09:52:34 +0100 |
commit | b422cef7dce4d98391de2a108001a49ae1c9625a (patch) | |
tree | 47f84e76016a799c3c921e3057017eb8f67b02e9 /.github/workflows | |
parent | 5d080dd0240f9be3e2cb46dafeaad5f716b01b50 (diff) | |
parent | d8881d98d3d1c88335c5f00328f1f2fc0100dd62 (diff) |
Merge #4529
4529: Fix Some|None order in fill_match_arms r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions