If the changeset is the same, which it should be, then proceed. Mike
On Dec 13 2013, at 16:19 , Brian Burkhalter <brian.burkhal...@oracle.com> wrote: > The patch in questions was already approved in this thread > > http://mail.openjdk.java.net/pipermail/core-libs-dev/2013-November/023611.html > > so unless there are objections I shall push it to the new Java 9 repository. > > Thanks, > > Brian
