Reporting results from the third quarter, GfK notes that Android is the second most used mobile operating system globally, matching statistics provided by Gartner, suggesting that just over 25% of smartphone owners used Google’s software globally. (via TheNextWeb)