On 2/21/2014 12:21 AM, Walter Bright wrote:
git reset --soft HEAD^ git push origin +master
Did this one. Seems to have worked. _______________________________________________ dmd-internals mailing list [email protected] http://lists.puremagic.com/mailman/listinfo/dmd-internals
