* Robert Haas (robertmhaas(at)gmail(dot)com) wrote:
> On Sat, Jun 17, 2017 at 5:41 PM, Peter Eisentraut
> <peter(dot)eisentraut(at)2ndquadrant(dot)com> wrote:
> > On 6/16/17 10:51, Tom Lane wrote:
> >> So I'm back to the position that we ought to stick the indent
> >> code under src/tools/ in our main repo. Is anyone really
> >> seriously against that?
> >
> > I think it would be better to have it separate.
>
> +1.
+1.
Thanks!
Stephen