Only the traditional Patch Tuesday updates were released here and only May 9 dates were assigned to those Windows Updates. Cumulative updates and an update to Flash Player. And there's no mention of the fix in Microsoft's knowledge base article for the cumulative update received on May 9. The article link is below:
https://support.microsoft.com/en-us/help/4016871/windows-10-update-kb4016871
There is an update to Windows Defender in the Windows Update Security Guide below, on page 5, but that's all. The update to Defender is usually a definitions update.
https://portal.msrc.microsoft.com/en-us/security-guidance
Of course, it's possible the new scan engine version for Defender was included in that update. It just doesn't show it.
Strange.
Grif

Chowhound
Comic Vine
GameFAQs
GameSpot
Giant Bomb
TechRepublic