Re: PING: Re: [PATCH] json: preserve key-insertion order [PR109163]

> Am 24.03.2023 um 15:44 schrieb David Malcolm via Gcc-patches > : > > I'd like to ping the following patch for review: > https://gcc.gnu.org/pipermail/gcc-patches/2023-March/614165.html Ok. Richard > Thanks > Dave > >> On Fri, 2023-03-17 at 16:53 -0400, David Malcolm wrote: >> PR other

PING: Re: [PATCH] json: preserve key-insertion order [PR109163]

I'd like to ping the following patch for review: https://gcc.gnu.org/pipermail/gcc-patches/2023-March/614165.html Thanks Dave On Fri, 2023-03-17 at 16:53 -0400, David Malcolm wrote: > PR other/109163 notes that when we write out JSON files, we traverse > the keys within each object via hash_map