On Dec 13 13:21, Jon Turney wrote: > These files were renamed from that long deprecated name in commit > 92061799. > --- > newlib/README | 20 ++++++++++---------- > 1 file changed, 10 insertions(+), 10 deletions(-) Thanks, please push. Corinna