Windows 10 build 17712

Windows 10 build 17712 is a build of Windows 10 October 2018 Update. It was mentioned in the metadata file  ==