8ad1f2 Merge branch 'cboltz-redmine-switched' into 'production'

Merged and Committed by Christian Boltz 3 years ago
    Merge branch 'cboltz-redmine-switched' into 'production'
    
    new progress.i.o.o server is active now
    
    See merge request infra/salt!381