Re: update [email protected] key

On Sat, Nov 30, 2024 at 06:40:39AM +0900, Dominique Martinet wrote:
> I was sure I sent it to keyservers back in august and was leaving it to
> periodic updates but it apparently didn't make it :/

Not sure if you're looking in the correct place, because your key got updated
back in September in commit 0604c53afee5fb0226ca993daca4a8d3595722bf:

https://git.kernel.org/pub/scm/docs/kernel/pgpkeys.git/diff/keys/333F1F391BBBB00A.asc?id=0604c53afee5fb0226ca993daca4a8d3595722bf

However, I applied this update as well.

Best wishes,
-K