Hi Tobias, On Wed, 20 May 2020 at 14:53, Tobias Geerinckx-Rice <m...@tobias.gr> wrote:
> Because that's where I sent a quick & dirty patch yonks ago. Cool! A patch! > There's also really not that much to discuss. As we quickly talked about it on Monday on IRC, I have the feeling that some details are still vague -- I have tried to summarize above in this thread. Even if Savannah is down each syzygy, it is always frustrating when it happens. Cheers, simon