Hello Edward, Am Fr., 21. Juni 2019 um 23:23 Uhr schrieb Edward K. Ream <[email protected]>: > On Fri, Jun 21, 2019 at 3:30 PM Viktor Ransmayr <[email protected]> > wrote: > > Thanks a lot for this quick turn-around! - I'll update my virtual > > environment with the latest changes on GitHub tomorrow ... > You're welcome. Thanks again for your testing.
For me the problem still exists. - I've provided the necessary information in * https://github.com/leo-editor/leo-editor/issues/1223#issuecomment-504636322 BTW, what's the expected procedure/ workflow in such a situation? Would you prefer me to open a new issue - or - do you re-open the closed issue? With kind regards, Viktor -- 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAAeSrG%2BYEKLzv5za27K_ZvShiOy8CkUeF9%3DzdZ4m1NKdBoW4vQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
