Comment 4 for bug 317778

Revision history for this message
Robert Collins (lifeless) wrote :

See also the conversation on the merge proposal. This bug is probably a few hours work for someone to pick up and polish.