On Tue, 9 Jun 2020 at 11:16, Daniel Morse <daniel.morse@xxxxxxxxx> wrote: > > Just wanted to check in and see if there was anything else I needed to > do to this patch before it gets merged? There shouldn't be. But sometimes it takes a while for non-critical patches to be picked up. I will add Benjamin as well, maybe he is around and can apply patches. Thanks David
