On 08/08/2023 13:30, Gerwin Klein wrote: > > With that I’d say we should do the AFP fork one week after the Isabelle fork to give some time for the last flurry of activity that tends to happen when deadlines approach. OK, lets do that. Makarius