On Sat Nov 26, 2022 at 9:12 PM GMT, Stefan Karrmann wrote: > somehow ~git send-mail~ seems not to work as expected. Therefore, I send > this patch manually. What's the error? :) -- (