As a user, the change was simple. I updated the script that pulls the latest from the repository at boot time on my workstation and it has been smooth sailing.
I love the new Build numbers. :-) Chris On Friday, February 14, 2014 9:04:02 AM UTC-8, Fidel N wrote: > > My feeling is that I will be able to +1 that as soon as I learn the > meaning of the git terms being used. > > On Friday, February 14, 2014 5:52:10 PM UTC+1, Matt Wilkie wrote: >> >> I place myself in the same boat as Kent. I have core team write access, >> but I'm more comfortable with issuing a pull request asking someone if it's >> okay to add X, as I'm an inexperienced developer. >> >> -- 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/groups/opt_out.
