diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-22 16:08:19 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-05-22 16:08:19 +0100 |
commit | 0fb71349156619e26a15ae21d7730eb9ce020446 (patch) | |
tree | 653ef20d03cd291855df5ae50c4271cff8545537 /.github | |
parent | 5aa3a4c04fa69a44285f26646369dec8d010d063 (diff) | |
parent | 06ed140fc7672466bc090fadd95bcf60ed6e82a4 (diff) |
Merge #4568
4568: Update Chalk r=matklad a=flodiebold
As always, this just makes compilation work, we don't use the newly available
functionality yet.
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions