On 02/21/2017 06:15 AM, Andrew Bartlett wrote: > The github mailing list gateway doesn't appear to be working, so we are > behind on merging pull requests. > > Can I get a second team member review on the attached, or some comment? > > Thanks, > > Andrew Bartlett > RB+ me and Pushed. Thanks, Uri.