On 5/21/20, 9:52 PM, "Thomas Munro" <[email protected]> wrote:
> Here's a version with a commit message added.  I'll push this to all
> releases in a day or two if there are no objections.

Looks good to me.  Thanks!

Nathan

Reply via email to