wikimedia/WLMMobile — pull request #210 by brion (2012-08-29 20:58:53+00:00)
Title: Fudge around the border sizes on the progress bar to make the border siz...

...es even on hdpi devices