RFR: 8068: Move JMC 9 to JDK 17 [v12]

Tue May 16 10:06:01 UTC 2023

On Tue, 16 May 2023 09:16:05 GMT, Virag Purnam <vpurnam at openjdk.org> wrote:

>> Brice Dutheil has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Fixed typos in devguide
>
> Looks good to me as well.

Thank you all for the help @viragpurnam @RealCLanger @parttimenerd

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

PR Comment: https://git.openjdk.org/jmc/pull/482#issuecomment-1549368811