mozilla/rust — pull request #7629 by thestinger (2013-07-06 21:10:26+00:00)
Title: remove extra::rope

It's broken/unmaintained and needs to be rewritten to avoid managed
pointers and needless copies. A full rewrite is necessary and the API
will need to be redone so it's not worth keeping this around (#7628).

Closes #2236, #2744