On Wed, Oct 28, 2020 at 01:30:46PM +0000, Christopher Baines wrote:
> I've sent an updated patch, which fixes a few more things as well.

Alright, then you can push as you see fit :)