On 8/1/18, Paul Guo <paul...@gmail.com> wrote:
> Thanks. I updated the patch as attached.
>
> Double-checked those tests passed.

I've verified make check-world passes. I've marked it Ready for Committer.

-John Naylor

Reply via email to