On Fri, 6 Oct 2023 12:30:14 GMT, Albert Mingkun Yang <ayang at openjdk.org> wrote: > Simple moving files/renamings. Marked as reviewed by tschatzl (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/16072#pullrequestreview-1671002516