Merge branch 'ticket-7442' of git://github.com/phonohawk/ghc
authorIan Lynagh <ian@well-typed.com>
Sun, 2 Dec 2012 12:55:35 +0000 (12:55 +0000)
committerIan Lynagh <ian@well-typed.com>
Sun, 2 Dec 2012 12:55:35 +0000 (12:55 +0000)
commit45e70a14bb8333455e03bc19f36fbddbd2b6e573
tree982238ac3a4641c19093b4c643c2c45b16e77baf
parent0cb35b5514e6280ba330bd3a4acb8e6a71c300ff
parent2334112f46a02a15b4e7594462ffa476a300167b
Merge branch 'ticket-7442' of git://github.com/phonohawk/ghc