On Thu, 11 Jul 2019, Sven Schreiber wrote:
Am 08.07.2019 um 00:46 schrieb Allin Cottrell:
> On Sun, 7 Jul 2019, Sven Schreiber wrote:
>
>> Am 07.07.2019 um 17:25 schrieb Allin Cottrell:
>>> Thanks, Sven. I've now committed your changes. They remain to be
>>> documented.
>>
>> Sure, I will also do the documentation soon, it's only fair ;-)
>
> OK, thanks!
Pushed to git. I have only edited doc/commands/gretl_functions_en.xml, I
hope the changes then propagate (through translation or whatever) to the
other xml files.
Thanks. Translation rather than "whatever" will be the vector for
propagation!
Allin