Closed GuillaumeGomez closed 10 months ago
Follow-up of https://github.com/GuillaumeGomez/rustc-tools/pull/15.
Follow-up of https://github.com/GuillaumeGomez/rustc-tools/pull/15.