Windows 10 build 18231

Windows 10 build 18231 is an unleaked build of Windows 10 May 2019 Update. A comment related to this build was posted to GitHub by a Microsoft employee on 17 September 2018.