diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-04-28 19:44:34 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-04-28 19:44:34 +0100 |
commit | 9230ae5492bbfd73483d7f30918c1f686ebe46e9 (patch) | |
tree | 96d43a52891ef5d71dfbdb2812e25d7a1bf847c4 /xtask/src/not_bash.rs | |
parent | fdaa5e7ccffa04594c52c73234fed7615f378055 (diff) | |
parent | 24d18d92f69c1ce3d4fc3ff3be67d4f9bf65d857 (diff) |
Merge #4148
4148: Simplify profiler impl (bubble up Option) r=matklad a=Veetaha
Co-authored-by: veetaha <[email protected]>
Diffstat (limited to 'xtask/src/not_bash.rs')
0 files changed, 0 insertions, 0 deletions