+1 for Github Le jeudi 22 septembre 2022 à 11:38:17 UTC+2, chris wuthrich a écrit :
> > 0 (No real preference and too little understanding of the matter, but > very happy that we have a meaningful vote on things like this.) -- 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/2dca6d80-9846-4f31-85a3-a5183a6817aan%40googlegroups.com.
