Dear all, I just noticed that people post issues here: https://github.com/texmacs/devel/issues
which is not the appropriate place to report problems about TeXmacs. I think we should we more clear that issuer can be reported only via savannah or via *one* of the issues page in github. I think the natural place is this one: https://github.com/texmacs/texmacs but there I see that issues are disabled. Maybe we need to decide what to do. There were several issues which got unnoticed... Best Max _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev