Mailing list configuration

[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
_______________________________________________
DejaGnu mailing list
DejaGnu@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu