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

Reply via email to