On Fri, 2018-05-04 at 21:46 +0200, Mike Galbraith wrote:> Tentatively, I suspect you've just fixed the nasty stalls I reported a> while back.Oh well, so much for optimism. It took a lot, but just hung.