> Upgrade to any tag <https://github.com/leo-editor/leo-editor/tags> in the 
>> development version (after ~Dec 2017, earlier tags will probably fail):
>>
>> pip install --upgrade https://
>> github.com/leo-editor/leo-editor/archive/5.7b2.zip
>>
>
> Sigh. One of these days I'll learn to test my examples! This particular 
> one breaks with bug related to issue #691 
> <https://github.com/leo-editor/leo-editor/issues/691>. It will work by 
> the time 5.7 is released and should remain stable after that.
>

It's actually a new bug: https://github.com/leo-editor/leo-editor/issues/720

matt

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Reply via email to