On Thu, 4 Nov 2021 11:31:50 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> I can see that this PR changes java.naming. Another bug to change > java.naming, JDK-8276552, was filed yesterday. Please check with its reporter > and coordinate this effort if necessary. @magicus I'm ok with having `java.naming` changes integrated as part of this PR. I'll close `JDK-8276552` as duplicate. The changes looks fine to me. ------------- PR: https://git.openjdk.java.net/jdk/pull/6250
