On Nov 8, 2015 1:21 PM, "John Cowan" <xxxxxx@mercury.ccil.org> wrote:

> Arthur, you can go ahead and post what I sent you.  The pull request is
> no longer necessary.

Already done.  Thanks.