With Peter's latest commit, there aren't any actual scripts left in
src/bin/scripts; only C programs.  Does that bother anyone?  I was
wondering about renaming to something like src/bin/misc.  (Not that
that name seems very compelling either...)

                        regards, tom lane

---------------------------(end of broadcast)---------------------------
TIP 5: Have you checked our extensive FAQ?


Reply via email to