On 22/08/2019 23:12, Lars Hupel wrote: > > It would behove you to stop discrediting me by using ALL CAPS and > calling the valid points I'm bringing up "noisy".
This thread was meant for technical discussions about better Mercurial
hosting infrastructure.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
