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