Spencer Baugh <sbaugh@janestreet.com> writes:
> This looks good to me then, seems to work fine.  Let's wait a few more
> days for comments and then I think this can be installed.

I think this is ready to be installed.  I went ahead and updated your
commit message to include a changelog entry - please include that in
future changes, see "Generating ChangeLog entries" in CONTRIBUTE.

Eli, can you please install the attached change?