[CentOS-devel] "7" still points to 7.2.1511 on vault.centos.org

Hi,

I received an email about the inability to download the current kernel 
sources from our Vagrant images:

   % yumdownloader --source kernel
   ...
   No source RPM found for kernel-3.10.0-514.2.2.el7.x86_64
   No source RPM found for kernel-3.10.0-514.el7.x86_64

I think this is caused by vault.centos.org, not by our Vagrant images: I 
can see centos-release-7-2.1511.el7.centos.2.10.x86_64.rpm under 
http://vault.centos.org/centos/7/os/x86_64/Packages/ - perhaps the "7" 
symlink hasn't been switched to 7.3.1611 yet?  "6" points to 6.8 
packages, the current release in the 6.x series.

Regards,
Laurențiu