3 ms·
That commit is "just" clean-up after https://github.com/mozilla/rust/pull/11863 https://github.com/mozilla/rust/pull/11863 But yeah, probably worth an explicit
by dbaupp 13y ago
That commit is "just" clean-up after https://github.com/mozilla/rust/pull/11863 https://github.com/mozilla/rust/pull/11863
But yeah, probably worth an explicit mention.