+1 for Github On Thu, 22 Sep 2022, 07:15 Nathan Dunfield, <nat...@dunfield.info> wrote:
> +1 for GitHub > > -- > 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/d639d283-afe5-409c-8eb3-72f5abb92551n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/d639d283-afe5-409c-8eb3-72f5abb92551n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAMEe%2BrTjZXu0OsdObj8p2AAnB49Zit8XNXUJ5ncbuFSQt7o0OQ%40mail.gmail.com.
