Sorry, too eager with email there.
Could someone please commit the following to HEAD?
It corrects the bug Robin reported.
Rob
This archive was generated by hypermail pre-2.1.9 : Tue Dec 09 2003 - 16:14:10 MST