On Thu, Apr 2, 2015 at 1:44 PM, Largo84 <[email protected]> wrote: > This may be a stupid question, but it's not obvious to me. Should I close > an open instance of Leo before making a pull request from GitHub to update > my Leo version? My instinct suggests that I should for the same reason that > it's typical for a program to need to close before installing updates. >
No, you don't need to close Leo before pulling unless you are working on Leo's source code. After you pull new sources, you do need to restart Leo for the new sources to take effect. EKR -- 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 http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
