Bug#1127723: ssh key change procedure doesn't work any more

[Thomas Lange]

And I'm sorry, but this web page is not in the repositories of the web\
team. Currently I do not know to which (pseudo)-package we should
assign this bug.

-- 
regards Thomas