[RFR] [7u] jdk7u231-b01

[Mario Torre]

On 17/07/2019 05:57, Andrew John Hughes wrote:
> OpenJDK 7u231 has been released: http://bitly.com/oj7u231
> 
> Here are the remaining changes for the jdk7u repository:
> 
> Webrev: https://cr.openjdk.java.net/~andrew/openjdk7/20190716/
>
> Ok to push?

Yes, please!

Cheers,
Mario


-- 
Mario Torre
Associate Manager, Software Engineering
Red Hat GmbH <https://www.redhat.com>
9704 A60C B4BE A8B8 0F30  9205 5D7E 4952 3F65 7898