Comment 1 for bug 814974

Revision history for this message
Gustavo Niemeyer (niemeyer) wrote :

That's a nice feature we should add. I'm not sure if dublin is the right target, though.