The source project of this merge request has been removed.
Remind key uploaders that updates take a few minutes to take effect.
Implements the suggestion here:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=892058#90This commit was not tested.