-
ls1947 authored
When a service is deregistered, all ssh pub key connections to it should also be removed.
efc6a7ca
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
When a service is deregistered, all ssh pub key connections to it should also be removed.