93f55bb Archlinux docker image has been renamed, also in default.

Authored and Committed by Robert de Bock 5 years ago
    Archlinux docker image has been renamed, also in default.
    
    [skip ci]