harrah/xsbt — pull request #619 by gkossakowski (2012-12-10 06:44:17+00:00)
Title: Add test for pickled refinement types bug (#610).

Note: this pull request depends on #617. If you merge this pull request, you'll merge automatically #617.