JakeWharton/Android-ViewPagerIndicator — pull request #231 by BurntBrunch (2013-05-29 10:33:49+00:00)
Title: Add extraSpacing attribute to CirclePageIndicator

The `extraSpacing` XML attribute specifies additional spacing between the circles,
also configurable via the `setExtraSpacing(float)` method.