[CentOS-devel] Should we skip the next Vagrant release (v1612)?