patch applied (ghc): Add a --ignore-failure flag to push-all script
Ian Lynagh
igloo at earth.li
Thu Aug 2 21:46:08 EDT 2007
Thu Aug 2 14:33:00 PDT 2007 Ian Lynagh <igloo at earth.li>
* Add a --ignore-failure flag to push-all script
M ./push-all +3
More information about the Cvs-ghc
mailing list