On 26-07-2022 23:40, Christian Grothoff wrote:
Done. In general, please send these types of requests directly to me or Martin, no need to bother the list.-Christian
Thanks, and noted, I've pushed some new commits now.
OpenPGP_0x49E3EE22191725EE.asc
Description: OpenPGP public key
OpenPGP_signature
Description: OpenPGP digital signature
