It seems it's still being updated. On Saturday, February 4, 2023 at 8:44:49 PM UTC+9 dim...@gmail.com wrote:
> 1) there is something funny with search - it it because it's still not > done? > > > https://github.com/sagemath/sage/issues?q=is%3Aissue+strongly+regular+is%3Aopen > > gives > > 5 Open 71 Closed > > No results matched your search. > > ---------------- > so there are 5 open issues, but they are not shown. (searching for > closed ones seems to work) > > ---------------- > > 2) GitHub nathanncohen is a real GitHub account, not a mannequin - and > it corresponds to Trac's ncohen just fine. > > > > > On Sat, Feb 4, 2023 at 10:38 AM Matthias Koeppe > <matthia...@gmail.com> wrote: > > > > The first preview is now available at https://github.com/sagemath/sage > > (it is "archived", i.e., read-only). > > > > -- > > 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+...@googlegroups.com. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/841273d5-4bca-40a5-afbf-6c4fccde8b4dn%40googlegroups.com > . > -- 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/9d7fc037-799e-4ae5-9d90-36c82f8b01f5n%40googlegroups.com.
