Alvaro Herrera <alvherre@2ndquadrant.com> writes:
> This is still listed as an open item, though the patch proposed by Peter
> upthread has been committed. If I understand correctly, ilmari was
> going to propose another patch. Or is the right course of action to set
> the open item as resolved?
AIUI, ilmari complained about several things only some of which have been
resolved, so that this is still an open item. But I think the ball is in
his court to propose a patch.
regards, tom lane