Windows 10 build 18257

Windows 10 build 18257 is a build of Windows 10 May 2019 Update. It was mentioned in the file  in the Windows Driver Kit (WDK) of build 18272 (rs_prerelease) and build 18282 (rs_prerelease).

\\winbuilds\release\rs_onecore_sigma_dplat_d1\18257.1000.181007-1535