On Sun, Nov 1, 2020 at 8:41 AM Thomas Passin <[email protected]> wrote:
> 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. > Right. I'm happy to look at PR's. 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/CAMF8tS3equ6C9EvAUKz2_gDEqNzTuVAhSRgLwHX026k-fbDLCw%40mail.gmail.com.
