Not exactly a core Leo thing, but fix the web site internal search (still broken). Referenced in this post in December <https://groups.google.com/d/msg/leo-editor/9QVGUdknD6k/unsN6kKsBAAJ>. Shall I file an issue on GitHub?
Rob... On Tuesday, March 6, 2018 at 6:06:46 AM UTC-5, Edward K. Ream wrote: > > We have added lots of new items recently. This post clarifies the > priorities. > > *Priority 1*: 16 items with 5.7.1 milestone > <https://github.com/leo-editor/leo-editor/issues?utf8=%E2%9C%93&q=is%3Aissue+is%3Aopen+milestone%3A5.7.1> > . > > Only these items have any real expectation of being done "soon". > > *Priority 2*: All other items, including: > > - 21 items with 5.8 milestone > <https://github.com/leo-editor/leo-editor/issues?utf8=%E2%9C%93&q=is%3Aissue+is%3Aopen+milestone%3A5.8> > . > - 80+ items with no milestone > <https://github.com/leo-editor/leo-editor/issues?utf8=%E2%9C%93&q=is%3Aissue+is%3Aopen+no%3Amilestone+-label%3Ainfo> > . > > The next "real" milestone will probably be 5.7.2. > > Please let me know if you think an item should get higher priority. > > 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 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.