Re: [CentOS-devel] CentOS 7 Vagrant boxes