Steve Loughran <[EMAIL PROTECTED]> wrote:

> Should I log this bug on bugzilla?

If you want to. You could wait until your patch has been sent and
applied and record it as fixed at the same time 8-)

Stefan

Reply via email to