Windows 10 build 17713

There are three Windows 10 October 2018 Update builds and one May 2019 Update build with the build number 17713: