[project @ 2001-09-17 12:12:31 by sewardj]
authorsewardj <unknown>
Mon, 17 Sep 2001 12:12:31 +0000 (12:12 +0000)
committersewardj <unknown>
Mon, 17 Sep 2001 12:12:31 +0000 (12:12 +0000)
commit5e1cb7db5b4efcba3758c591b0d1317a93a1865b
tree0fd1649441cd4961c04f242fad4f194d1a4fb5d9
parent0240235fda720ca12ac2405c6301062140ee1565
[project @ 2001-09-17 12:12:31 by sewardj]
Update for 5.02.

MERGE TO STABLE
ghc/ANNOUNCE