diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-28 21:08:33 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-06-28 21:08:33 +0100 |
| commit | f3cd82cabf6ab6ab2d41abfedc77504fbf6f1361 (patch) | |
| tree | b3cc18f3b27e5892f22332ceebc5732a4a825adc /xtask/src/pre_commit.rs | |
| parent | f7d681df26947eb91597938c6bb113c2c006ff0c (diff) | |
| parent | c3b38dcca9cc3ab60fd51d9554d21b2deabb3972 (diff) | |
Merge #5113
5113: Update instant r=kjeremy a=kjeremy
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'xtask/src/pre_commit.rs')
0 files changed, 0 insertions, 0 deletions