[sage-devel] Re: Proposal: make Furo a standard package

2022-08-06 Thread Kwankyu Lee
Up to now, there were 4 positive, 1 implicitly positive, 1 implicitly negative votes. Thank you who voted. I think it is safe to conclude that the standard Furo package is accepted. The new standard package enables the new doc in Furo theme, which will be the default in the next sage rele

Re: [sage-devel] Re: Proposal: make Furo a standard package

2022-08-04 Thread dmo...@deductivepress.ca
+1 from me, too. Thanks for doing this. On Thursday, August 4, 2022 at 11:14:41 AM UTC-6 David Roe wrote: > On Thu, Aug 4, 2022 at 10:29 AM Eric Gourgoulhon > wrote: > >> Le jeudi 4 août 2022 à 03:29:07 UTC+2, Kwankyu Lee a écrit : >> >>> So we propose here to upgrade the Furo package to a sta

Re: [sage-devel] Re: Proposal: make Furo a standard package

2022-08-04 Thread David Roe
On Thu, Aug 4, 2022 at 10:29 AM Eric Gourgoulhon wrote: > Le jeudi 4 août 2022 à 03:29:07 UTC+2, Kwankyu Lee a écrit : > >> So we propose here to upgrade the Furo package to a standard package. >> Please vote. > > > +1 > Thanks for working on this. > +1 for Furo as standard from me as well. Davi

[sage-devel] Re: Proposal: make Furo a standard package

2022-08-04 Thread Eric Gourgoulhon
Le jeudi 4 août 2022 à 03:29:07 UTC+2, Kwankyu Lee a écrit : > So we propose here to upgrade the Furo package to a standard package. > Please vote. +1 Thanks for working on this. Eric. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsub