Windows 10 build 18242

Windows 10 build 18242 was released on 2018-09-18 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.