Rich, on Wed, 3 May 2023 10:06:20 -0400 you (Rich Felker ) wrote: > I'd rather just fix it in one place (the implementation-internal > header) so we don't have to worry about it. I still don't understand which header that is supposed to be. Jₑₙₛ -- :: ICube :::::::::::::::::::::::::::::: deputy director :: :: Université de Strasbourg :::::::::::::::::::::: ICPS :: :: INRIA Nancy Grand Est :::::::::::::::::::::::: Camus :: :: :::::::::::::::::::::::::::::::::::: ☎ +33 368854536 :: :: https://icube-icps.unistra.fr/index.php/Jens_Gustedt ::