On the material side I vote (A1). On the human side I vote (B). Matthias raised a delicate point: this feature was introduced by a newcomer to sage development. The feature might have been wrongly guided or badly thought. Nevertheless, it would be very unwelcoming to just revert it.
Ideally, there would be a "make the feature even nicer" solution rather than "get rid of that s***". Though, this requires a concrete proposal more than a vote, and I have nothing magical to share at this stage. Best Vincent On Fri, 14 Jun 2024 at 13:56, Kwankyu Lee <ekwan...@gmail.com> wrote: > > +1 to (A1) > > -- > 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/cd9f975b-3605-4e98-a165-2a2e1d4ab2b9n%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/CAGEwAAm3do-_ZxsFDYw1r-wVE%3DXUMGrZSDsnScy2Na9UaF-yow%40mail.gmail.com.
