On Mon, 3 Jul 2017 08:37:34 -0700 (PDT) vitalije <[email protected]> wrote:
> I thought that I was merging master into sqlite-format not the other > way. I am not sure how to undo it. To checkout previous commit and > then to do what? > > On Monday, July 3, 2017 at 5:12:39 PM UTC+2, Edward K. Ream wrote: > > > > I don't think I did this, although I can't be sure. > > > > Vitalije, could you please undo this? The sqlite-format should > > remain separate for awhile longer. > > > > Thanks. > > > > Edward I think you should be able to git revert 136e0402... What's the 58d7b463504 you're blaming Edward? I see - June 30, not sure that's the right one. Cheers -Terry -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
