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