On 2022-May-20, Laurenz Albe wrote:
> Alvaro meant that my message already contained a patch, so there is no need to
> send another one, unless you have a different suggestion.
Right. Being old-school, I can just save the email to a plain text file
and do "patch < /tmp/emailfile". 'patch' has s
On Fri, 2022-05-20 at 10:30 +0200, Alvaro Herrera wrote:
>
> Anyway, I pushed the patch. I appreciate your willingness to
> collaborate and look forward to your future participation, for sure.
Thanks!
Laurenz Albe
