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
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