On Thu, 28 May 2020 at 15:48, Hubert Tong <hubert.reinterpretcast@gmail.com> wrote:On Thu, May 28, 2020 at 4:04 AM Corentin via SG16 <sg16@lists.isocpp.org> wrote:Please also address all the uses of this term in the library section.There would be no change, although the basic source character appears in library in a few places ( it would be redefined as basic execution encoding)