On 1 August 2018 at 16:31, Omair Majid <oma...@redhat.com> wrote: > Hi, > > * Andrew Hughes <gnu.and...@redhat.com> [2018-08-01 11:08]: >> Ping? > > Yes, please! Approved. > > (I did not review the fixes) > > Thanks, > Omair > > -- > PGP Key: B157A9F0 (http://pgp.mit.edu/) > Fingerprint = 9DB5 2F0B FD3E C239 E108 E7BD DF99 7AF8 B157 A9F0
Thanks. Pushed. -- Andrew :) Senior Free Java Software Engineer Red Hat, Inc. (http://www.redhat.com) Web Site: http://fuseyism.com Twitter: https://twitter.com/gnu_andrew_java PGP Key: ed25519/0xCFDA0F9B35964222 (hkp://keys.gnupg.net) Fingerprint = 5132 579D D154 0ED2 3E04 C5A0 CFDA 0F9B 3596 4222
