|
| From: | Antonio Diaz Diaz |
| Subject: | Re: Redundant @deffnx and typo in manual |
| Date: | Wed, 16 Nov 2022 01:55:23 +0100 |
| User-agent: | Mozilla/5.0 (X11; U; Linux i586; en-US; rv:1.9.1.19) Gecko/20110420 SeaMonkey/2.0.14 |
Hi Bernhard, Thank you for the quick fix! Bernhard Voelker wrote:
Good to push (with the first 2 in your name)?
Of course. Thanks again. Best regards, Antonio.
| [Prev in Thread] | Current Thread | [Next in Thread] |