Androidセキュリティーパッチ2023年5月分が案内！Googleスマホ「Pixel 4a」以降はソフトウェア更新が提供開始。機能改善や不具合修正も