On Wed, 2019-11-13 at 14:58 +0000, Steve McIntyre wrote: > On Sun, Nov 10, 2019 at 10:26:18AM +0100, Julien Bigot wrote: > Hi guys, > > We've had a spate of build failures in debian-installer recently that > have triggered problems like this. I've just pushed a fix now thay > should hopefully get things going again. Thank you for your reply. However, poking around I don't find any updated iso files (yet) :(