--On Sunday, June 13, 2004 6:07 PM +0100 David Reid <[EMAIL PROTECTED]> wrote:

Does anyone think this should need an api change?

Not I.

My gut feeling is that this is an implementation detail and so no api change
is needed.

Agreed. -- justin

Reply via email to