On Thu, 19 Apr 2012, Lisandro Dalcin wrote:

On 19 April 2012 18:04, Jed Brown <[email protected]> wrote:

...

On Thu, Apr 19, 2012 at 08:01, Mark F. Adams <[email protected]> wrote:

...

[I sent this error message but it "Your message to petsc-dev awaits moderator approval" because the configure.log was > 512 Kb???]

Configure issues (and especially configure.log attachments) belong on petsc-maint, not petsc-dev.

Have ever considered an email filter for petsc-dev looking for a configure.log attachement that automatically forwards the email to petsc-maint and reply the OP informing that?

Is this possible with mailman? [I could't locate appropriate options]. For now - I'm just forwarding such messages manually to petsc-maint [and ocassionally approve them on petsc-dev/petsc-users mailing list- when it makes sense] Satish