On Fri, 13 Oct 2023 15:03:30 GMT, Alexey Ivanov <aiva...@openjdk.org> wrote:
>> Ok, I'll revert the initIDs removals, and will file a follow-up PR once this >> one is merged. > >> …will file a follow-up PR once this one is merged > > You can submit it right away, so that we'll not forget about it. Filed [JDK-8318091](https://bugs.openjdk.org/browse/JDK-8318091) for removal of initIDs; the changes there overlap with this PR, and I'd rather not create dependent PRs. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/13261#discussion_r1365335827
