> On 1 Feb 2017, at 12:52, Martin Buchholz <marti...@google.com> wrote: > > Wave 14 now contains a bug fix for a minor mistake in a previous wave. > https://bugs.openjdk.java.net/browse/JDK-8173706 > <https://bugs.openjdk.java.net/browse/JDK-8173706> > http://cr.openjdk.java.net/~martin/webrevs/openjdk9/jsr166-jdk9-integration/Vector-setSize/ > > <http://cr.openjdk.java.net/~martin/webrevs/openjdk9/jsr166-jdk9-integration/Vector-setSize/>
+1 Paul.
