Windows 10 build 17712

Windows 10 build 17712 is a build of Windows 10 October 2018 Update. It was mentioned in the metadata file  when updating to build 17713 (rs5_release).