On 07/06/17 16:04, Andrew Hughes wrote: >> Ok to push?>> >> > Ping? Sorry. Yes, I'm sure that's fine. Thanks, Andrew. -- Andrew Haley Java Platform Lead Engineer Red Hat UK Ltd. <https://www.redhat.com> EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671