[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Make stoca more convenient

From: Jose E. Marchesi
Subject: Re: Make stoca more convenient
Date: Mon, 06 Feb 2023 18:42:56 +0100
User-agent: Gnus/5.13 (Gnus v5.13)

Hello Nikolaos.

I applied the patch on master, with some minor style modifications.

> See my attached patch,
> Regards,
> Nikolaos Chatzikonstantinou

reply via email to

[Prev in Thread] Current Thread [Next in Thread]