4 ms·
It might be worth noting that both PRs described in the slides have already been merged. Links to the PRs (the discussions are worth a read): 1. https://githu
by derekchiang 13y ago
It might be worth noting that both PRs described in the slides have already been merged.
Links to the PRs (the discussions are worth a read):
1. https://github.com/mozilla/rust/pull/10830 https://github.com/mozilla/rust/pull/10830
2. https://github.com/mozilla/rust/pull/10965 https://github.com/mozilla/rust/pull/10965