> On Thu 26/3/2020, at 6:45 pm, Alexander Dahl <ada at thorsis.com> wrote: > > Gentle ping on this patch. Hi Alex, Sorry for the delay, it's merged now. Cheers, Matt