Windows 10 build 19025.1

There are two Windows 10 May 2020 Update builds with the build number 19025: