[PPL-devel] 'Reply to' header issue

[Roberto Bagnara]

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 at cs.unipr.it