Windows 10 build 18242

Windows 10 19H1 build 18237 was released on 2018-09-06 to Insiders in the Skip Ahead ring. This build is generally regarded as a bugfix build, and thus doesn't include any new interesting features.