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

Barry Smith bsmith at mcs.anl.gov
Thu Jul 19 18:08:42 CDT 2012

On Jul 19, 2012, at 5:52 PM, Satish Balay wrote:

> 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.

    Baloney. Every email someone receives ALWAYS has a senders email (unless they faked it like spammers do) so unless you are using a pine modified for sending spam it is sending your email address.

> 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.

More information about the petsc-dev mailing list