----- 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


Reply via email to