Windows Patch Tuesday updates seem to roll out well February 12th 2020