Merge branch 'master' of /home/simonmar/ghc-git
authorSimon Marlow <marlowsd@gmail.com>
Tue, 5 Apr 2011 15:03:25 +0000 (16:03 +0100)
committerSimon Marlow <marlowsd@gmail.com>
Tue, 5 Apr 2011 15:03:25 +0000 (16:03 +0100)

Trivial merge