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
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