Subject: Re: bug#47130: 28.0.50; Gnus: mairix doesn't work anymore

From: Michael Heerdegen <[email-masked]>
Date: Tue, 15 Feb 2022 00:51:16 +0100

Michael Heerdegen <[email-masked]> writes:

> > I suppose I should add a note to the documentation?

You have done that now - thanks.

I have another question: The docstrings of the *-remove-prefix options
say that "This is a regular expression.".  AFAIU that's not true: It's
just a string that is given to `string-remove-prefix'.  Correct?

Michael.