There is an upgrade to iOS 12.5.1. I installed it a couple of hours ago, no problems so far.
Not a member of The Register? Create a new account here.
Remember me on this computer? Post anonymously?