Re: Redundant @deffnx and typo in manual

[Bernhard Voelker]

On 11/16/22 01:55, Antonio Diaz Diaz wrote:

Bernhard Voelker wrote:

Good to push (with the first 2 in your name)?

Of course. Thanks again.

Thanks! Pushed.

Have a nice day,
Berny