On 2023-10-03 02:30, Takashi Yano wrote: > Ping? Is this Corinna's domain? https://sourceware.org/newlib/ Patience - the volunteer reviewers may be busy with work or life or be on vacation for a month!