mailing-list for TeXmacs Users

["Philippe Joyez" <address@hidden>]

Hi Antonio,

>The Ubuntu build for Ubuntu 22.04 still gives me the segmentation fault below
when trying to run the first example in the Graph plugin help

So, not only the patch is inelegant, it does not even function in all build
environments :(
Thanks for letting me know, I'll try to fix that.

Best,
Philippe