8c440b Merge branch 'remove_old_hosts' into 'production'

Merged and Committed by lrupp 2 years ago
    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