We have improved our update keys system and moved it to a new server. This was done transparently and should not cause any trouble, even during DNS propagation. We’ll be monitoring updates during the next couple of days, just to be sure.
Please report any issue in the comments.
(15:27 — Nov 11) All looks good, back to normal. \