Peter Geoghegan <pg@bowt.ie> writes:
> On Thu, Sep 17, 2020 at 1:34 AM Heikki Linnakangas
> <heikki.linnakangas@iki.fi> wrote:
>> Add support for building GiST index by sorting.
> You forgot to bump catversion, despite your best efforts. :-)
> You left this behind:
> +/* FIXME: bump this before pushing! */
Yeah, I noticed that, and just fixed it while pushing something else.
regards, tom lane