Re: [sage-devel] spoken languages and banner translations

2021-07-07 Thread Frédéric Chapoton
Kwankyu, may I presume that you are korean or speak korean ? If so, would you please tell if the korean banner is translated correctly, or suggest a better translation ? Frédéric Le mercredi 7 juillet 2021 à 03:58:36 UTC+2, Kwankyu Lee a écrit : > On Monday, July 5, 2021 at 9:52:21 PM UTC+9 Mich

Re: [sage-devel] spoken languages and banner translations

2021-07-07 Thread Kwankyu Lee
Hi Frédéric. On Thursday, July 8, 2021 at 1:40:02 AM UTC+9 Frédéric Chapoton wrote: > Kwankyu, may I presume that you are korean or speak korean ? I am Korean. > If so, would you please tell if the korean banner is translated correctly, > or suggest a better translation ? > The Korean tran