A clear yes from me. Posting bugs to the fricas-devel list has the disadvantage that they might stay open and become forgotten.
Thank you for taking care of this. Ralf On 11/30/20 12:48 PM, Qian Yun wrote: > Hi all, > > Do we all agree that "GitHub Issues" should be the official bug > tracker for FriCAS? > > If so, I'd like to do: > > 1. Manually migrate open bugs from sourceforge to github. > > 2. Add open bugs that are scattered through mailing list. > > 3. Add other bugs which are sitting in my notes. > > > The advantage is that we have a central place to tracking all > bugs, we can add labels to them and add additional information. > > - Qian > -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/9c8c7d1f-eec1-c493-41e0-cb4bbde08486%40hemmecke.org.
