I see no great reason to change anything about nightly builds. Some people may use them. If not, no great harm is done.
Using the devel branch instead of master for most work implicitly changes what the nightly builds represent. Previously, they were the bleeding edge. Now, they are (supposedly) the most stable code. Imo, this change need not be documented anywhere else but here. This is the present plan, and I will stay with it unless someone strenuously objects, which I doubt will happen :-) 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.
