mailing-list for TeXmacs Users

[Michael Shea <address@hidden>]

Thank you for the clarification. I though you were slowphil. 

On Thu, Mar 28, 2019 at 12:53 PM Philippe Joyez <address@hidden> wrote:

Hi,

Thanks for reporting. However my builder is not the official one and I think
it's better to handle such problem by directly reporting the issue in the
GitHub repo, in order to keep the user list free from things that are really
not of general interest.

Philippe