On 03/12/2020 16:49, Pavel Borisov wrote:
    Ok, pushed and backpatched this now.

Very nice!
Thanks to you all!

Thanks for the review, Pavel! I just realized that I forgot to credit you in the commit message. I'm sorry.

- Heikki


Reply via email to