windows10の大型アップデート（バージョン1903）が5月末に一般公開されたが、なかなか自動配信されないので手動でアップデートすることにした。 　https://www.microsoft.com/ja-jp/s…