On Wed, Sep 20, 2017 at 11:05 PM, Noah Misch <noah(at)leadboat(dot)com> wrote:
> This is currently a v10 open item, but I think it doesn't qualify for that
> treatment. It's merely an opportunity for optimization, albeit an
> attractively-simple one.
I have withdrawn this as an open item. I'm still hopeful that it can
be worked through for v10 at Peter's discretion.
--
Peter Geoghegan