Closed indiv0 closed 8 years ago
One PR #3 gets merged, we'll have the following features enabled, which we'll need to move away from:
We also use the features:
Closing as I believe only box_patterns, plugin, and rustc_private are left and those are necessary. Feel free to re-open if you disagree.
One PR #3 gets merged, we'll have the following features enabled, which we'll need to move away from:
We also use the features: