On Wed, 9 Jul 2014, Jed Brown wrote:

> Satish Balay <[email protected]> writes:
> > Should I revert this merge or do something else?
> >
> > git revert -m 1 52cbd52866ccab13bc62001b3276d0b542ea4117
> 
> Let's revert it now to avoid disrupting someone tracking 'maint'.  Then
> we can fix the branch and put in the necessary interface.

reverted now.

Satish

Reply via email to