[dmd-internals] Halp! need help fixing git master for dmd

[Walter Bright]

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.