Comment 8 for bug 207604

Revision history for this message
Petr Machata (pmachata) wrote :

Bah, the first commandline should have been the same as the other. Makes essentially no difference in time.