On Mon, 12 Feb 2024 16:29:19 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> I guess it depends how much we want to import the code as-is, without knowing > any lint-warts. I think it would be nice not to have to modify code beyond superficial edits: addition of headers, renaming of packages, and converting of non-ASCII symbols. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/16388#discussion_r1486526603
