diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-16 23:12:41 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-07-16 23:12:41 +0100 |
| commit | 7e932f33391bd78a43a06d275a4d2f93fe3d7e8d (patch) | |
| tree | 3b3a357287a9d30591a334bbf7189df880bf6d71 /crates/ra_prof/src/lib.rs | |
| parent | 81c82733899691fec7ed046525a5c583d3c7d5be (diff) | |
| parent | c8a232c2efba038297b4df36e51073d663eef082 (diff) | |
Merge #5416
5416: Bump on a log r=kjeremy a=kjeremy
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'crates/ra_prof/src/lib.rs')
0 files changed, 0 insertions, 0 deletions