Hi Max, I personally only look at bug reports at Savannah. If there is a volunteer to collect problems that have been reported elsewhere and enter them in the Savannah bug tracker, then that would be great.
Best wishes, --Joris On Thu, Mar 18, 2021 at 08:40:51PM +0100, Massimiliano Gubinelli wrote: > 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 _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
