On Wed, 13 May 2020 at 11:58, Michel Dänzer <michel at daenzer.net> wrote: > > How do you know you're hitting that particular issue? Sorry, somehow I misread that. I was still thinking of the AGP hangs.