scala/scala — pull request #2381 by soc (2013-04-10 12:12:25+00:00)
Title: Nicer partest formatting of 4-digit test numbers

Because

...
[partest] ok 999 - pos/t3534.scala
[partest] ok 1000 - pos/t261-ba.scala
...

is so much nicer than

...
[partest] ok 999 - pos/t3534.scala
[partest] ok 1000 - pos/t261-ba.scala
...