[isabelle-dev] push request (Sublist.thy)

[Makarius]

On Mon, 17 Dec 2012, Makarius wrote:

>> Ubuntu 12.10 (Linux kernel 3.5.0-20-generic, 64 bit).
>
> Just empirically, I see at the moment a correlation of "Debian/Ubuntu + patch 
> queue" with repository meltdown: Dmitriy, Alex, Johannes.

https://launchpad.net/ubuntu/+source/mercurial/2.0.2-1ubuntu1 looks fine 
to me, so the hypothesis "broken due to Debianism" cannot be held up. 
(This occasionally happens, but not here as it seems.)


 	Makarius