scala/scala — pull request #1068 by rklaehn (2012-08-06 20:02:48+00:00)
Title: Implemented specialized filter for scala.collection.immutable.HashSet

This is a filter method for HashSet that does not use the builder infrastructure and thus does not create unneeded temporary copies.