[bug-grep] [ADMIN] the bug-grep prefix

[Stepan Kasal]

Hello all,
    Bob Proulx wrote me that he doesn't like the  "[bug-grep] " prefix,
which mailman adds to each subject line.

Yesterday, I noticed the following subject line in my mailbox:
  "[bug-gnulib] Re: [bug-grep] length of dec. representation of a number"

(I moved the thread from one list to another.)
So I tend to agree with Bob, and would like to remove the prefix from the
list configuration.

So I'd like to ask you to mail me your opinion.  If you would welcome the
change, as Bob, please tell me.  If you think the change is not a good step,
please tell me, too.
(If you don't care, you can tell me, but I guess you don't have to.)

The poll will last until Tue, Mar 15.  I'll mail the summary of votes and
the resolution.


FYI, mails from the list can be more raliably recognized
by
        List-Id: Bug reports for GNU grep <bug-grep.gnu.org>
or
        List-Post: <mailto:address@hidden>
which are added by mailman to each mail.
For example, if your mail system uses procmail, you can use the following
rule in .procmailrc:

:0:
* ^List-Id:.*<bug-grep[.]gnu[.]org>
bug-grep-new

And Bob and I will be glad to help you with any problems which might
appear.

With kind regards,
        Stepan