On Mon, Dec 2, 2013 at 10:42 PM, Peter Eisentraut <peter_e@gmx.net> wrote:
On 11/19/13, 11:30 PM, Peter Geoghegan wrote: >>> +1 from me. >> > >> > >> > That's +1 for *not* including this? > Right.
I agree with not including this.
If you're looking for more of those, here's another +1 for not including it. (And of course also for Peters comment about that we need to figure out if something is actually missing for building this higher level tool that can provide this information and more)