From: bors <bors@rust-lang.org>
Date: Wed, 15 Apr 2020 16:23:48 +0000 (+0000)
Subject: Auto merge of #71172 - pietroalbini:update-tool-maintainers, r=pietroalbini
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=835428c35d785733e72bfbf32fc2f8fff3e50e63;p=rust.git

Auto merge of #71172 - pietroalbini:update-tool-maintainers, r=pietroalbini

Update tool maintainers

Centril is taking a break from the project.
---

835428c35d785733e72bfbf32fc2f8fff3e50e63