Android 10 is here, but how many devices did Android 9.0 Pie reach?

With Android 10 out, what's the post-mortem results for Android 9.0 Pie? According to May's numbers, Pie has only come to just over a tenth of all active Android devices.