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

2023-07-02 Thread 'Travis Scrimshaw' via sage-devel
(A) Travis On Monday, July 3, 2023 at 2:42:10 AM UTC+9 G. M.-S. wrote: > > My choice is (A). > > Guillermo > > On Thu, 29 Jun 2023 at 04:40, Kwankyu Lee wrote: > >> Hi, >> >> We spent six days for the preliminary discussion in the sage-devel thread >> >>

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

2023-07-02 Thread G. M.-S.
My choice is (A). Guillermo On Thu, 29 Jun 2023 at 04:40, 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 needed

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

2023-06-29 Thread Dima Pasechnik
(A), please On Thu, 29 Jun 2023, 03:40 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 needed in > >

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

2023-06-28 Thread William Stein
I vote for (A) On Wed, Jun 28, 2023 at 7:40 PM 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 needed in > >

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

2023-06-28 Thread Kwankyu Lee
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 needed in https://github.com/sagemath/sage/issues/35750 We now start the voting with the four