Peter Geoghegan <pg(at)heroku(dot)com> writes:
> On Thu, Apr 14, 2016 at 4:03 PM, Peter Geoghegan <pg(at)heroku(dot)com> wrote:
>> Attached patch removes obsolete comment from fmgr.c.
> This patch seems to have been overlooked. It's a pretty straightforward case.
Yeah --- pushed.
regards, tom lane