Apple iOS 12.4がreleaseされた

手持ちのiPad mini 2にてupgradeを実施。今の所は特に問題なく使えている。

WWDC 2019で発表されたiOS 13 iPadOSでは、残念ながらiPad mini 2が対象外となりそうだが。