On Sun, Apr 24, 2022 at 11:35:57AM -0400, Bernhard Voelker wrote:
> Follow-up Comment #1:
> 
> Thanks for the patch.  I've wrapped it into a proper Git commit
> in Helmut's name.  Is this okay for you?

Yes, thanks.

Helmut


Reply via email to