diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-11-20 08:47:42 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2019-11-20 08:47:42 +0000 |
commit | d24e8f9ea42dd2d08b2e02f8106690fd4baa8071 (patch) | |
tree | 3da030379556170d1d18235c234ae95bbe28fba4 /.github | |
parent | 4340d9b0e435bde11c0cc79e9f284856a836ccdc (diff) | |
parent | 0e771915faf057ec4561224b75ec9b5be93d71c8 (diff) |
Merge #2321
2321: Allow non-path default type parameters r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions