Comment 7 for bug 1876530

Revision history for this message
Marco Trevisan (TreviƱo) (3v1n0) wrote :

Actually no, ignore the point on duplicate (even this may be fixed by the changes included for that fix), but still would need better output.