On 7/17/19 12:57 AM, Andrew John Hughes wrote: > > jdk7u231-b01 is tagged as jdk7u231-ga. > > Ok to push? > I've verified all security patches and I'm okay with them. Note: I'm not an official jdk7u reviewer. Regards, Martin.-