On Monday, February 26, 2024 at 4:46:36 PM UTC+9 tobia...@gmx.de wrote:
Just move "usage 2" to a new label. Would be more intuitive and explicit in my opinion. I am a bit inclined to your opinion, but not sure. Others may argue that "usage 1" and " usage 2" are better to be combined under one label. Anyway, here I am focusing on the (easy) issue of separating "usage 3" from the "blocker" label. -- 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/609bd8c5-92dd-4c64-8204-a4956517558an%40googlegroups.com.