Comment 2 for bug 190294

Revision history for this message
Thijs Kinkhorst (kink) wrote :

--batch is indeed the intended way to go here. Discussion with upstream concluded that it's just not worth fixing the case where --batch is left out.