8c440b
Merge branch 'remove_old_hosts' into 'production' Remove old machines (including their roles) that are deleted since a longer time now. See merge request infra/salt!491