diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-06-07 16:49:50 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-06-07 16:49:50 +0100 |
commit | 7a807068c4d797592327aa22ad20d4696c0b1c2b (patch) | |
tree | 28563f52adcc16db7e1c3374a2798dc245a2cf01 /bench_data | |
parent | 8b6c3eaaeb6b074c7cbe34f25b7736157b13f84a (diff) | |
parent | 0290b61b1b720a4562d4e574f807f38ce0d11730 (diff) |
Merge #9166
9166: Clarify label documentation r=matklad a=flodiebold
Also some other cleanups while I'm there.
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'bench_data')
0 files changed, 0 insertions, 0 deletions