>> What do you mean when you say that the page is read-only? AFAIK all >> pages on the wiki are read+write, and I don't see any controls to change >> that. > >At the very least, one must be logged in with a github account to edit >anything. > > -r
Oh you are right, the page is writeable. Actually, I was seeing all pages as writeable except this one. Certainly a mistake on my part. Sorry about that, I'll edit the wiki directly, then. Cheers, Olivier Renaud _______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev