I submitted three patches to pgsql-patches@postgresql.org on Oct 13.

Only two have shown up on the web site.  Even the mbox is missing the
second.

The missing patch is a one-liner, so here it is.  I can resend the
whole bug report if wanted.

Pete Forman