Comment 3 for bug 1019262

Revision history for this message
Colin Watson (cjwatson) wrote :

The merge is not so difficult that it's worth agonising over it. Just do it - if it's removed later then fine.