On Tue, 2002-10-22 at 19:59, Ian Jackson wrote: > Therefore it seems to us that there is no longer a need for a > decision by the Committee. The bug report will be closed. That is correct. Please go ahead and close the bug.