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.

Attachment: pgpsOHCiRyGEe.pgp
Description: PGP signature

Reply via email to