diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-06-18 20:26:08 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-06-18 20:26:08 +0100 |
commit | 7f8f569c58583915a6e6ccae8292fa078d6bed70 (patch) | |
tree | 4f03ef4a9b684ba96da926ee2ffabcf7398b4f6f /lib | |
parent | c2f15270ee207ae787b08abdac2c8944b96306c9 (diff) | |
parent | 73b3ee664ecc938b943b5a08a23ef29104fc390f (diff) |
Merge #9330
9330: minor: use minicore r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions