Jonas,


I suggest to add a 'Need info' label so that we can tag issues
accordingly.  In particular, we could see immediately whether we
should ping the OP.

WDYT?


    Werner

Reply via email to