On 29.01.2013 17:46, Lars Noschinski wrote:
On 28.11.2012 10:11, Lars Noschinski wrote:
Hi everyone,
mira still crashes from time to time.
I got a new one today.
lxbroy10 testboard `mira daemon 'bisect(Isabelle_makeall)'`
was hanging for more then 10 days in "Mirroring master repositories".
Seems to be buried deep inside mercurial code.
Happened again today (killed it after 6 hours)
-- Lars
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
