Alexis Rosen <alexis@panix.com> writes:
> BTW, what's the proper protocol for doing this? I'm copying this to both
> current-users (to see if anyone doesn't like this) and to gnats-bug to
> update the PR. Is this bad?

That's okay provided people don't start too long a discussion.

.pm