Jan Wieck <janwieck(at)yahoo(dot)com> writes:> Sometimes I wonder why nobody uses> #option dump
Probably because it's utterly undocumented. Care to fix that?
regards, tom lane