[petsc-dev] Fwd: [petsc-maint #124771] bug report

[Satish Balay]

On Thu, 19 Jul 2012, Jed Brown wrote:

> > > This is what I do for myself [with pine]
> >
> >    Doesn't solve the problem because the user still has in their header
> > the developers email address.
> >

For one - my replies [with pine] don't have that. Secondly - even if
the developers email address is there - it shouldn't matter. We are
primarily concerned with users using 'reply' command from their e-mail
client. And it will honor 'reply-to:petsc-maint'.

If the user is explicitly manipulating headers by other means - we
can't [and shouldn't] be attempting to control that.

Satish

> This is something that a developer using certain hosts can do to make the
> issue moot, not something that involves the user.