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
