On 10/16/19 10:09, Bossart, Nathan wrote:
> On 10/15/19, 11:11 PM, "Thomas Munro" <thomas.munro@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!
+1