たまにしかiPadを付けないので、昨日たまたまアップデートを掛けたんだけど、iOS12.4とかだった。