On 07.11.2013 09:50, Lars Noschinski wrote: > On 06.11.2013 23:12, Jasmin Christian Blanchette wrote: >> BTW is there any particular reason why testboard and tests are kind of dead >> these days? > > The reason is that none of the Mira daemons is running and for some > reason I didn't get any notification about that.
(I restarted them just now)
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
