On Wed, 3 Mar 2021 07:49:37 +0100 Peter Bex <pe...@more-magic.net> wrote:
> Here's a straightforward patch for #1730. Thanks, Peter. Pushed. All the best. Mario -- http://parenteses.org/mario
On Wed, 3 Mar 2021 07:49:37 +0100 Peter Bex <pe...@more-magic.net> wrote:
> Here's a straightforward patch for #1730. Thanks, Peter. Pushed. All the best. Mario -- http://parenteses.org/mario