diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-03-30 10:48:50 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-03-30 10:48:50 +0100 |
commit | 78a2678b6d31eb8a0c5eafd0fdf4eea7da5321a3 (patch) | |
tree | d170278f575bfcac859a62ccac7a534a93fe6a77 /crates/ra_mbe/src | |
parent | df8752bf3f92f657eb89ba86888c1b8b94c5e8d9 (diff) | |
parent | 4c9272583c90c6f6704ee780c88bc795f9ffe5d7 (diff) |
Merge #3770
3770: Pull options outwards r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_mbe/src')
0 files changed, 0 insertions, 0 deletions