On Sun, Jun 20, 2021 at 12:40:30AM +0200, martin-k...@brusseler.com wrote: > > The issue is important, and I would try to work it out through > > diplomatic channels ;-) that is, find out who can help you to reach > > > people that can influence things. > > I will also see what I can do and ask a few friends.
Thanks, that would be extremely helpful. Best regards, --Joris _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
