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

[Barry Smith]

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

   WRONG

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