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

Reply via email to