Windows 10 build 18252

Windows 10 19H1 build 18252 was released on 2018-10-03. It was the first build of Windows 10 May 2019 Update to be released to Insiders in the Fast Ring.

New Features

 * Enhanced settings for Ethernet - use the Settings app to configure advanced Ethernet IP settings
 * New icon for disconnected internet
 * Ebrima font with ADLaM support has been added
 * Other general changes, improvements, and fixes