]> git.lizzy.rs Git - rust.git/commitdiff
Merge #1538
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Wed, 17 Jul 2019 15:06:48 +0000 (15:06 +0000)
committerbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Wed, 17 Jul 2019 15:06:48 +0000 (15:06 +0000)
1538: jemallocator 0.3 r=matklad a=kjeremy

Co-authored-by: Jeremy A. Kolb <jkolb@ara.com>

Trivial merge