We don't make use of rustfmt yet though (right? I was under a rock for 2 weeks so if I missed this excellent improvement, ignore me), so let's do that first IMO.
> Le 19 août 2018 à 19:43, Bobby Holley <bobbyhol...@gmail.com> a écrit : > > rustfmt fits the bill, so I think it makes sense to retire > that particular tidy lint. _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
