朝、予報では一日中雨なので、windows10の1903（May 2019 Update）への大型Updateを実施することとした。 前回の1809（October 2018 Update ）では、当初不具合があり、結局Updateを実施したのは5月12日でした。 1903は大きな不具合は発生していないようなの…