On 12-12-22 01:27 PM, Patrick Walton wrote: > OK, I have fixed the REPL. I will look into respinning a 0.5.1 release > for this, if there are no objections.
(Mentioned on IRC, but repeating here) The time taken to put together a release is still, sadly, quite nontrivial; I'd prefer not to divert resources to another point release that could be spent on more pressing issues (of which there are many -- nightly builds, easier releases, a PPA, packaging, perf work and whatnot among them). -Graydon _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
