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 <[email protected]> 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
> [email protected]
> http://lists.puremagic.com/mailman/listinfo/dmd-internals
_______________________________________________
dmd-internals mailing list
[email protected]
http://lists.puremagic.com/mailman/listinfo/dmd-internals

Reply via email to