TAG 0.42

darcs-hash:e9d51ab58efdffe18510bddafbfa450f276c224f
This tag has no release notes.