]> git.lizzy.rs Git - rust.git/commit
Merge #5724
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Wed, 12 Aug 2020 14:36:01 +0000 (14:36 +0000)
committerGitHub <noreply@github.com>
Wed, 12 Aug 2020 14:36:01 +0000 (14:36 +0000)
commit147547e7b85e80e2e30aa1a5ba4d9d0969908398
treec39749d1b71b73b4017c2d0d848ebdc85e570c39
parent6be5ab02008b442c85c201968b97f24f13c4692e
parent208b7bd7ba687fb570feb1b89219f14c63712ce8
Merge #5724

5724: Rename ra_prof -> profile
 r=matklad a=matklad

bors r+
🤖

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>