Windows10の20H1アップデート(May 2020 Update)ですが、毎月恒例の月例アップデートに合わせて配信されるかと思いきや、結局なしのつぶて…。May 2020 Updateなので5月中となると、オプションの更新プログラムのタイミングである第3週のCリリースか第4週のDリ…