devel now contains PR #2871 <https://github.com/leo-editor/leo-editor/pull/2871> (icons) and PR #2873 <https://github.com/leo-editor/leo-editor/pull/2873> (leoserver annotations).
Please continue your testing of devel. The icons issues was unexpectedly tricky, and deserves more testing. We are still on track to release Leo 6.7.0 on Friday, September 30, but I'll be happy to push back that date if necessary. 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/76d423a7-504e-4700-ab83-ab5212225b7fn%40googlegroups.com.
