[dmd-internals] How do I revert on github

[Alex]

git revert 03e8dddc8a53e42d73b04dd23287f206fcc35dd0 should do the
trick (the hash being the merge commit).

Regards,
Alex

On Sat, Feb 18, 2012 at 8:16 PM, Walter Bright <walter at digitalmars.com> wrote:
> This needs to be reverted:
>
> https://github.com/D-Programming-Language/dmd/pull/727
>
> Is there a simple command to do it?
> _______________________________________________
> dmd-internals mailing list
> dmd-internals at puremagic.com
> http://lists.puremagic.com/mailman/listinfo/dmd-internals