4f93e0 Merge branch 'lrupp_add_hosts' into 'production'

Merged and Committed by Christian Boltz 2 years ago
    Merge branch 'lrupp_add_hosts' into 'production'
    
    Add some machines that are running since months or years now:
    
    See merge request infra/salt!492