On 10/15/19, 11:11 PM, "Thomas Munro" <[email protected]> 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