Re: [CentOS-devel] new centos7 vagrant boxes 'released' (?)