Hello Roel,

You signed commit cc51c03ff867d4633505354819c6d88af88bf919 and its
parent with OpenPGP key F556FD94FB8F8B8779E36832CBD0CD5138C19AFC, which
differs from the one registered in ‘build-aux/git-authenticate.scm’
(17CB 2812 EB63 3DFF 2C7F 0452 C3EC 1DCA 8430 72E1) that you used
previously.

Could you please reply to this message signed with the old key, stating
that the new key is the right one?

As a last resort, if you lost control of the old key, could you ensure
your Savannah account contains the new key and send a reply signed with
the new key?

Thanks in advance,
Ludo’.