Three milestone releases of Windows 8 leaked to the general public. When was Build 7995 divulged