On Wed, 7 Apr 2021 at 10:41, Markus Armbruster <arm...@redhat.com> wrote: > > Peter, do you intend to merge this yourself? I have nothing else queued > right now. If you want me to do a pull request for this patch, let me > know.
I missed this email earlier. I had assumed somebody else would pick it up, but as it happens I have a couple of last minute patches I want to send out anyway, so I'll pick this up now. thanks -- PMM