
20 Jun
2011
20 Jun
'11
7:26 a.m.
On 06/19/11 22:17, rafael ff1 wrote:
This might not be news for you, but I guess it won't hurt asking: I can't see a "Reply To:" header set in the header of emails sent to this mail list, which seems be causing users to send replies to your address. Isn't it possible to set the default "reply to" address as ppl-devel(...) for emails sent to this list?
Hi Rafael, thanks for your message. Yes, I am aware of this possibility but I never used it because the mailman's authors recommend against it. However, the reasons behind their reasoning seem to be fading, so let us try that and see if problems arise. Cheers,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it