On Tue, Jul 13, 2021 at 2:37 PM [email protected] <[email protected]> wrote:
> I had to give up on the merged branch. I checked out your branch > directly, and it's running. Now I just have to make sure I don't > accidentally commit anything to it. > The branch starts with 'ekr-', so you would have to issue a PR to change it. And please do issue a PR if you find a problem with vr3. 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/CAMF8tS1TBpe_Xe6jybXvRedYK6gZhV56j6OjY%3DhpTOqXJ-SW1g%40mail.gmail.com.
