On Thu, 19 Jan 2023 12:47:00 GMT, Albert Mingkun Yang <ayang at openjdk.org> wrote: > Simple rename of the oop marking stack. Marked as reviewed by tschatzl (Reviewer). ------------- PR: https://git.openjdk.org/jdk/pull/12095