scala/scala — pull request #810 by xeno-by (2012-07-02 11:30:42+00:00)
Title: two pullrequests from this morning, combined to merge changes to starrs

Combines https://github.com/scala/scala/pull/788 and https://github.com/scala/scala/pull/799