On Thu, Oct 17, 2019 at 6:11 AM Jeremy Schneider <schnj...@amazon.com> wrote: > On 10/16/19 10:09, Bossart, Nathan wrote: > > 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! > > +1
Pushed.
