On 1 August 2018 at 16:31, Omair Majid <[email protected]> wrote: > Hi, > > * Andrew Hughes <[email protected]> [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
