On Wed, Oct 2, 2013 at 6:32 AM, Alvaro Herrera <alvherre@2ndquadrant.com> wrote:
> Andres Freund wrote:
>> I think this removes too many comments from index_drop that explains why
>> it's done that way.
>
> Complaint registered. If either of you can send a patch I will gladly
> push it, otherwise it will take me some time to get back to it (but will
> eventually).
Indeed, it might be better to add some more comments. Attached is a
patch improving that.
Regards,
--
Michael