On 15/08/2023 13:12, Bernhard Voelker wrote:
Sorry, somehow my `git send-email` is broken currently, so I have to attach even this trivial patch.Have a nice day, Berny
+1 thanks
On 15/08/2023 13:12, Bernhard Voelker wrote:
Sorry, somehow my `git send-email` is broken currently, so I have to attach even this trivial patch.Have a nice day, Berny
+1 thanks