Windows 10 build 17716

Windows 10 build 17716 is a build of Windows 10 October 2018 Update. An issue related to this build was posted to GitHub repository of Mu on 23 July 2018.