On Saturday, December 12, 2020 at 11:00:09 PM UTC Edward K. Ream wrote:

> On Friday, December 11, 2020 at 5:54:50 AM UTC-6 Edward K. Ream wrote:
>
> I had planned to merge the ekr-change branch into devel today, but I'll 
>> put that on hold while I investigate the restart part of the issue.
>>
>
> The fix, I think, is now in the ekr-change branch. Please test that branch 
> and report any further problems.
>
> Edward
>

Sorry, I missed this. I'll try it soon.

I came here to say that I have noticed that (eg) Firefox recently failed to 
restart, after it updated itself and told me it needed to do so. I mention 
this just in case there is something particular to my system ... but in any 
case, at least you are in good company!

    J^n
 

-- 
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/eb39e932-bbf2-4acd-aba3-503bbdcf6f5bn%40googlegroups.com.

Reply via email to