From the article, Samsung grew 1.2% of all phones (including feature phones). So I'd say they almost certainly did grow faster than Android as a whole. I wouldn't be that surprised if Android minus Samsung contracted slightly in the quarter.