Bump to dotnet/android-api-docs/main@f72d4b9f#8996

jonpryor wants to merge 1 commit intomaindotnet/android:mainfrom

dev/jonp/jonp-use-dotnet-api-docsdotnet/android:dev/jonp/jonp-use-dotnet-api-docsCopy head branch name to clipboard