Well, I'm still working on the VR3 problem. The main questions, I think, are who would approve a PR, and who is going to keep the devel branch on GutHub up to date. Edward has written that he will still have some involvement - he won't be completely absent.
On Sunday, November 1, 2020 at 8:52:20 AM UTC-5, Viktor Ransmayr wrote: > > > What's the expected procedure for handling such a bug / issue during > sabbatical times? > > 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/c9bbb2e0-4a5d-418d-95ad-afed6c308964o%40googlegroups.com.
