New GPG key
I have generated a new GPG key (4096R/7C5BB6A5) for the needs of my application as Debian Developer. Therefore, the old key (1024D/B4C5F37F) will soon be retired.
If you happen to meet me, I'd be glad to have my public key signed again by you.
As usual, you may download it from keyservers with something like (for instance on
gpg --keyserver your-preferred-key-server --recv-key 7C5BB6A5
Update: I've added a transition document here.