Comment 5 for bug 1972

kiko: are you sure that Markus's key change had propagated to our server at the time? If the subkey hadn't propagated, then it would be the same issue. If not, then it might be something else.

You can check what is in the keyserver here: http://keyserver.ubuntu.com:11371/pks/lookup?op=vindex&search=0xDDE93F54 (replace the key id as appropriate)