On Sun, May 16, 2021 at 2:21 AM Viktor Ransmayr <[email protected]>
wrote:

> Hello Edward & Félix,
>
> Looking into the sources I also noticed, that we'll run into a similar
> problem as already documented in issue #603.
>
> In other words, both files should be moved from the top-level, i.e.
>

Thanks for this.  Félix, do you have any comments?

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/CAMF8tS2gPs0L3th36Vtg53%2Bsgbp8P6yu2o4N3yLPJ%3DmfYQsz6g%40mail.gmail.com.

Reply via email to