Re: RFR: 8296546: Add @spec tags to API

Thu, 10 Nov 2022 14:19:52 -0800 

On Thu, 10 Nov 2022 16:33:09 GMT, AJ1062910 <d...@openjdk.org> wrote:

> did you changed 420 files ?

I ran a custom utility that edited these files, yes.

-------------

PR: https://git.openjdk.org/jdk/pull/11073

Reply via email to