Imo, deleting the "published" versions of 6.4 should be safe enough and will reduce confusion in the long run. These deleted versions were not widely publicized.
I'll create a new 6.4 on GitHub late this afternoon, after we have all had at least some chance to test the code. I'll create a new 6.4 on pypi tomorrow. 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/384b73fc-1ca8-4ead-8667-2443ee984946n%40googlegroups.com.
