>>>>> "Angus" == Angus Leeming <[EMAIL PROTECTED]> writes:
Angus> Jean-Marc, has this one slipped through your net? (It isn't Angus> needed in the HEAD version.) No, I was pondering why the cast is needed at all. I think I will just stop pondering and apply it :) JMarc
