mailing-list for TeXmacs Users

["Philippe Joyez" <address@hidden>]

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