On Mon, Mar 16, 2020 at 7:13 AM Thomas Passin <[email protected]> wrote:
> > On Monday, March 16, 2020 at 6:58:21 AM UTC-4, Edward K. Ream wrote: > >> >> 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. >> > > The problem I'm having is that my repo in my account on Github somehow got > messed up, and I haven't been able to nuke it, repair it, or get it to > fully update itself from the Leo upstream. > Alright. I've fixed the problem in vr3. Hope you recover from your problems :-) 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/CAMF8tS218pxput4gTUYWYPqyjzdA5fc61DoGaQqtD1aAHtngHw%40mail.gmail.com.
