Paul A. Rubin Sun, 14 May 2006 14:50:33 -0700
Paul A. Rubin wrote:
Meanwhile, I'll post this to bugzilla so the developers are aware of it.
Oops -- as Stephen noted, it's already there (1751).
