scala/scala — pull request #887 by paulp (2012-07-11 20:41:17+00:00)
Title: reformulation of odersky/topic/pickledflags

This is a 2.10.x-resolved version of https://github.com/scala/scala/pull/880 .