Re: Redundant @deffnx and typo in manual

[Antonio Diaz Diaz]

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.