diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-02-21 00:18:49 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-02-21 00:18:49 +0000 |
commit | 238f3a51733afc564215d14d3366d2cbc4b7a64a (patch) | |
tree | e58bcb2c866b96c6863cb75b2b06942f1f14aa49 /.github/actions/github-release | |
parent | 62bc753f8b1957699288ceea90a4096667bf0ebc (diff) | |
parent | 0fe44d099ad7cf9c8699e41ece424fda84bce999 (diff) |
Merge #7735
7735: Stop mixing Result and Option with ? in inline_local_variable r=Veykril a=scottmcm
Depending on the discussion in https://github.com/rust-lang/rfcs/pull/3058 this might not end up being necessary, but I think it's a reasonable change regardless.
Co-authored-by: Scott McMurray <[email protected]>
Diffstat (limited to '.github/actions/github-release')
0 files changed, 0 insertions, 0 deletions