On 2020-03-02, Lauri Tirkkonen wrote:

> Thanks for the input, and ping - is there still something about this
> diff that I should fix?

I'm kinda busy, but I should be able to look into it eventually.

Reply via email to