[dune-pdelab] Unknown exception

[Christian Engwer]

Dear conf,

> I don't know, does it still makes sense to try debugging here? The problem is not really resolved, but it just vanished.

I don't think it makes much sense to search further. One question
though, do you work on a network files system? Sometimes glitches in
the file system, like non-matching clocks, etc. lead to funny
errors. Although I can't remember having ever see a problem like the
one you encountered.

Christian