On 10/15/19, 11:11 PM, "Thomas Munro" <thomas.mu...@gmail.com> wrote: > Here's a version with a proposed commit message and a comment. Please > let me know if I credited things to the right people!
Looks good to me. Thanks! Nathan
On 10/15/19, 11:11 PM, "Thomas Munro" <thomas.mu...@gmail.com> wrote: > Here's a version with a proposed commit message and a comment. Please > let me know if I credited things to the right people!
Looks good to me. Thanks! Nathan