Windows 10 build 19031

Windows 10 build 19031 is an unleaked build of Windows 10 May 2020 Update. An issue related to this build was posted to GitHub by a Microsoft employee on 22 November 2019.