On Fri, Jun 19, 2020 at 11:38 PM Julien Rouhaud <rjuju123(at)gmail(dot)com> wrote:
> On Fri, Jun 19, 2020 at 12:08 PM Thomas Munro <thomas(dot)munro(at)gmail(dot)com> wrote:
> > On Fri, Jun 19, 2020 at 8:02 PM Peter Eisentraut
> > <peter(dot)eisentraut(at)2ndquadrant(dot)com> wrote:
> > > +[# Remove links created by old versions of configure, so that there
> > > +# are no broken symlinks in the tree
> > > +rm -f src/include/dynloader.h])
> >
> > +1
>
> +1
+1