On Monday, March 16, 2020 at 5:39:23 AM UTC-5, Edward K. Ream wrote: > I'll look into this.
Fixed in both the 6.2 and devel branches. Thomas, I'm not sure why this was a mysterious problem for you. I continue to suspect something is not right on your end. Please verify, using gitk, that you see the changes I made in both the 6.2 and devel branches. 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/7243ec51-616c-4572-b5f7-c75b571c2202%40googlegroups.com.