On 04/05/20 18:51, Will Deacon wrote: >> 10 days is one week during which I could hardly work and the two >> adjacent weekends. So this is basically really bad timing in Marc's >> first pull request, that he couldn't have anticipated. > > Understood, and thanks for the quick reply. If possible, please just let us > know in future as we can probably figure something out rather than having > things sit in limbo. Indeed, it was my fault. I got stuck in a "1: tomorrow should be better" / "no it was actually worse" / "goto 1b" loop. Paolo
