|
| 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. Thanks! > See my attached patch, > > Regards, > Nikolaos Chatzikonstantinou
| [Prev in Thread] | Current Thread | [Next in Thread] |