Push initiated. David On 24/08/2017 10:37 PM, Haug, Gunter wrote: > Sorry David, my bad. Still learning how to use the tools. Now it should be OK! > > Thanks again, > Gunter > > > The typos are not fixed in that webrev. ?? > > http://cr.openjdk.java.net/~ghaug/webrevs/8186286.v2 > >