On Mon, Feb 6, 2023 at 9:07 AM Marc Mezzarobba <m...@mezzarobba.net> wrote: > > Thank you all for your work! > > A minor point: the PR template still says "we are not accepting pull > requests yet".
I've just fixed this one. We still need to create a real tempate... > > -- > Marc > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/trqfvc%2473j%241%40ciao.gmane.io. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq0b7x7soLiWfYuLZ0eH9fqwiq0zeu2CNQnJjisHjmT%2Bnw%40mail.gmail.com.