Reduced redundant type declarations#1

github-dummy-repo wants to merge 1 commit intomikeplate:mastermikeplate/counter-android:masterfrom

github-dummy-repo:patch-1github-dummy-repo/counter-android:patch-1Copy head branch name to clipboard