On Thu, 2020-07-09 at 15:40 +0000, Joseph Myers wrote: > Ping for this limits.h patch > <https://gcc.gnu.org/pipermail/gcc-patches/2020-July/549363.html>;. OK.
jeff
On Thu, 2020-07-09 at 15:40 +0000, Joseph Myers wrote: > Ping for this limits.h patch > <https://gcc.gnu.org/pipermail/gcc-patches/2020-July/549363.html>;. OK.
jeff