On Thu, 4 Nov 2021 12:30:40 GMT, Aleksei Efimov <aefi...@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. > >> 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. @AlekseiEfimov Thanks! I tried to search for open PRs with blessed ordering, but I did not search open bugs... ------------- PR: https://git.openjdk.java.net/jdk/pull/6250