Jon <j...@jguk.org> writes:

> Good point. Updated patch attached for review.

I suppose this counts as a functionality change, and as such should
not be committed until after the release branch is made.

This is OK when we are back in stage 1, with a ChangeLog entry,
assuming it passes bootstrap (you didn't say).

Thanks.

Ian

Reply via email to