"bangerth at dealii dot org" <[EMAIL PROTECTED]> writes:

| Still happens with a recent mainline snapshot.

This one is tricky.  I once had a patch for it, but then the patch
broke some other diagnostic. :-(
I'll try to revive it.

-- Gaby

Reply via email to