I'll try to get them merged On Tuesday, February 7, 2023 at 6:23:54 PM UTC+1 Dima Pasechnik wrote:
> We have positively reviewed tickets on trac - do we need to do > anything, or just wait for the release manager to merge them? > > Dima > -- 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/3ee02a4d-48a6-4a61-a4a2-9b6f91d07e77n%40googlegroups.com.
