On Mon, Jul 10, 2017 at 2:51 PM, vitalije <[email protected]> wrote:
> @Edward, I have noticed that this crasher is still present in several > branches. I don't know if it will be removed once those branches are merged > with master. I suppose it will. But watch out that its presence is not > affecting work on other branches. > ​Thanks for the reminder. The typical workflow is to merge master into each branch before merging the branch into master. That *should* do the trick, but vigilance is always good. I have no idea how all the Linux branches are merged safely... 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.
