WARNING: bogus patch pushed
simonpj at microsoft.com
Thu Aug 14 12:25:52 EDT 2008
| Although the usual policy is not to permit "unpull"s on the main repo, I
| have unpulled this patch anyway. If anyone (or any buildbot) has pulled
| this patch in the meantime, they should unpull it manually from their
| own repo. I hope this does not inconvenience anyone too much.
Thanks Malcolm. Sorry about that everyone.
| You can record an UNDO patch and push that.
| That should work for everyone else without them needing to take any
| action. They'll end up with both patches the 'do' and the corresponding
| 'undo' one.
I don't know how to make an UNDO patch. But Malcolm has solved the problem anyway.
More information about the Cvs-ghc