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

Reply via email to