[RFR] [7u] jdk7u231-b01

[Andrew John Hughes]

On 17/07/2019 15:30, Mario Torre wrote:
> 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
> 
> 

Thanks! Pushed.
-- 
Andrew :)

Senior Free Java Software Engineer
Red Hat, Inc. (http://www.redhat.com)

PGP Key: ed25519/0xCFDA0F9B35964222 (hkp://keys.gnupg.net)
Fingerprint = 5132 579D D154 0ED2 3E04  C5A0 CFDA 0F9B 3596 4222
https://keybase.io/gnu_andrew