On Mon, 21 Nov 2022 12:17:02 GMT, Patricio Chilano Mateo <pchilanom...@openjdk.org> wrote:
>> Erik Österlund has updated the pull request incrementally with one >> additional commit since the last revision: >> >> Fix Richard comments > > I went through the changes and all looks good to me. Only minor comments. > > Thanks, > Patricio > Thanks for the review @pchilano! I made the changes you requested. > Looks good, thanks Erik! ------------- PR: https://git.openjdk.org/jdk/pull/11111
