----- Original Message ----- > > On Jan 10, 2017, at 8:39 AM, Andrew Hughes > <gnu.and...@redhat.com<mailto:gnu.and...@redhat.com>> wrote: > > > Ok to push? > > Looks fine to me. > > Thanks, > Andrew >
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