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
OpenPG
Done. In general, please send these types of requests directly to me or
Martin, no need to bother the list.
-Christian
On 7/23/22 16:27, Maxime Devos wrote:
Hi,
I'll be using a new SSH key: 'ssh-ed25519
C3NzaC1lZDI1NTE5IPJa2FK5j9V6zkxVcvyvBQnt8dbXIXEABwO3rQZIhQ08';
the list of SSH k
