Re: [sage-devel] Re: Voting: Block-scoped optional tag and the keyword

2023-06-30 Thread David Coudert
I vote for (A) On Friday, June 30, 2023 at 2:59:53 PM UTC+2 David Ayotte wrote: > I vote for (A) > > Le jeudi 29 juin 2023 à 18:47:42 UTC-4, Edgar Costa a écrit : > >> I vote for (A) >> >> On Thu, Jun 29, 2023 at 6:27 PM Marc Culler wrote: >> >>> I vote for (C). >>> >>> On Wednesday, June 28,

Re: [sage-devel] Re: Voting: Block-scoped optional tag and the keyword

2023-06-30 Thread David Ayotte
I vote for (A) Le jeudi 29 juin 2023 à 18:47:42 UTC-4, Edgar Costa a écrit : > I vote for (A) > > On Thu, Jun 29, 2023 at 6:27 PM Marc Culler wrote: > >> I vote for (C). >> >> On Wednesday, June 28, 2023 at 9:40:07 PM UTC-5 Kwankyu Lee wrote: >> >>> Hi, >>> >>> We spent six days for the

Re: [sage-devel] Re: Voting: Block-scoped optional tag and the keyword

2023-06-29 Thread Edgar Costa
I vote for (A) On Thu, Jun 29, 2023 at 6:27 PM Marc Culler wrote: > I vote for (C). > > On Wednesday, June 28, 2023 at 9:40:07 PM UTC-5 Kwankyu Lee wrote: > >> Hi, >> >> We spent six days for the preliminary discussion in the sage-devel thread >> >>

[sage-devel] Re: Voting: Block-scoped optional tag and the keyword

2023-06-29 Thread Marc Culler
I vote for (C). On Wednesday, June 28, 2023 at 9:40:07 PM UTC-5 Kwankyu Lee wrote: > Hi, > > We spent six days for the preliminary discussion in the sage-devel thread > > https://groups.google.com/g/sage-devel/c/OUnoroIf0qc > > about choosing the keyword triggering block-scoped optional tag

Re: [sage-devel] Re: Voting: Block-scoped optional tag and the keyword

2023-06-29 Thread Nils Bruin
I vote for (A) -- 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

Re: [sage-devel] Re: Voting: Block-scoped optional tag and the keyword

2023-06-29 Thread seb....@gmail.com
I vote for (C) David Roe schrieb am Donnerstag, 29. Juni 2023 um 17:57:35 UTC+2: > I vote for (A) > > On Thu, Jun 29, 2023 at 5:13 AM Eric Gourgoulhon > wrote: > >> I vote for (A) >> > >> -- >> You received this message because you are subscribed to the Google Groups >> "sage-devel" group.

Re: [sage-devel] Re: Voting: Block-scoped optional tag and the keyword

2023-06-29 Thread David Roe
I vote for (A) On Thu, Jun 29, 2023 at 5:13 AM Eric Gourgoulhon wrote: > I vote for (A) > > -- > 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] Re: Voting: Block-scoped optional tag and the keyword

2023-06-29 Thread Eric Gourgoulhon
I vote for (A) -- 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

[sage-devel] Re: Voting: Block-scoped optional tag and the keyword

2023-06-28 Thread Andrew
(B) "requires" On Thursday, 29 June 2023 at 12:40:07 pm UTC+10 Kwankyu Lee wrote: > Hi, > > We spent six days for the preliminary discussion in the sage-devel thread > > https://groups.google.com/g/sage-devel/c/OUnoroIf0qc > > about choosing the keyword triggering block-scoped optional tag