On 10/09/2017 10:43 PM, Christian Grothoff wrote:
> Ok, added and documented in 181ac3c5..6c4c13ef. -Christian

Thanks !

With Best Regards, Tim

Attachment: signature.asc
Description: OpenPGP digital signature

Reply via email to