PR 8146

[Wolfgang Bangerth]

> OK, this seems promising (and suggests that 5351 and 7591 are dups).

I just double checked, the problem with 5351 also goes away if I use
-march=pentium instead of -march=i686, just as for 7591.

I also added a note to the audit trails of these two reports.

W.

-------------------------------------------------------------------------
Wolfgang Bangerth              email:           bangerth@ticam.utexas.edu
                               www: http://www.ticam.utexas.edu/~bangerth