On Fri, Dec 04, 2020 at 06:09:13PM +0800, Julien Rouhaud wrote:
> On Fri, Dec 04, 2020 at 12:06:10PM +0300, Sergei Kornilov wrote:
> > Hello
> >
> > Seems we need also change PGSS_FILE_HEADER.
>
> Indeed, thanks! v2 attached.
There was a conflict on PGSS_FILE_HEADER since some recent commit, v3 attached.