Re: Mailing list configuration

2019-01-11 Thread Ben Elliston
On Fri, Jan 11, 2019 at 06:40:16PM -0600, Jacob Bachmeyer wrote: > I should have expected that there would be some reason (or several) > that that is not done more widely; and I suppose that I can > explicitly set "Reply-To" to the list when responding to specific > users who have a long-enough hi

Re: Mailing list configuration

2019-01-11 Thread Jacob Bachmeyer
Ben Elliston wrote: On Fri, Jan 11, 2019 at 05:45:10PM -0600, Jacob Bachmeyer wrote: Could the mailing list be configured to insert/replace a "Reply-To: dejagnu@gnu.org" header on every message? Going off-list would still be possible, but would require actual intentional effort, instead of e

Re: Mailing list configuration

2019-01-11 Thread Ben Elliston
On Fri, Jan 11, 2019 at 05:45:10PM -0600, Jacob Bachmeyer wrote: > Could the mailing list be configured to insert/replace a "Reply-To: > dejagnu@gnu.org" header on every message? Going off-list would > still be possible, but would require actual intentional effort, > instead of easily happening b

Mailing list configuration

2019-01-11 Thread Jacob Bachmeyer
Could the mailing list be configured to insert/replace a "Reply-To: dejagnu@gnu.org" header on every message? Going off-list would still be possible, but would require actual intentional effort, instead of easily happening by accident. -- Jacob ___