New commit signing key?

[Ludovic Courtès]

Hello Julien!

Unless I’m mistaken, starting from commit
2cbede5935eb6a40173bbdf30a9ad22bf7574c22 you started signing with key:

  1EFB 0909 1F17 D28C CBF9  B13A 53D4 57B2 D636 EE82

instead of:

  B5FA E628 5B41 3728 B2A0  FAED 4311 1F45 2008 6A0C

Could you confirm that this is the case so we can update
‘build-aux/git-authenticate.scm’ accordingly?  (Currently “make
authenticate” barfs.)

Preferably, reply with a message signed with your previous key stating
that the new fingerprint above is indeed yours.  Make sure to revoke
your previous key and send the revoked key (and the new one) to key
servers.

If you lost control of the old key, please state it (in a message signed
with the new key.)  I see <https://savannah.gnu.org/users/roptat>
contains the new key already.  The old one is due to expire on
2020-03-27 anyway.

Thanks in advance!

Ludo’.

signature.asc
Description: PGP signature