A very impressive analysis. Thanks. Larry On 25 Dec 2012, at 10:38, Alexander Krauss <[email protected]> wrote:
> I would say that this points to the SUSE NFS client driver as the source of > the problem. If we use lxbroy10 exclusively for pushes, we should be safe > until the issue is fixed. _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
