On Saturday, February 3, 2018 at 12:17:19 PM UTC-6, Matt Wilkie wrote:
>
>
> leo-editor-users
>>>
>>
>> I think the unused group should be deleted.
>>
>>
> Agreed. it's hard enough figuring out where discussion should go as it is
> with Leo-editor mailing list and GitHub Issues.
>
I have just
> leo-editor-users >
>>
>
> I think the unused group should be deleted.
>
>
Agreed. it's hard enough figuring out where discussion should go as it is
with Leo-editor mailing list and GitHub Issues.
matt
--
You received this message because you are subscribed to the Google Groups
"leo-edito
On Fri, Feb 2, 2018 at 1:41 PM, Terry Brown wrote:
> Leo has two mailing lists, the one most everyone uses:
>
> leo-editor
>
> and
>
> leo-editor-users
>
I think the unused group should be deleted.
Edward
--
You received this message because you are subscribed to the Google Groups
"leo-ed