On Sunday, May 8, 2016 at 6:46:27 PM UTC-5, Lucas wrote:
> > Thanks for the release! > > I noticed the last tag in the GitHub repo is still the 5.2-final. I > wonder if you will push the 5.3-final tag there later. > I've just created a 5.3-final release here <https://github.com/leo-editor/leo-editor/releases/tag/v5.3>. However, there seems to be a weird bug that prevents me from choosing the proper commit, which is, in fact, 12f2264ff0. As a workaround, I pushed a soft reset at rev 0686a3037bd which should be equivalent to the "real" rev, e15d4cc75. Please let me know if this causes any problems. Edward -- 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.
