Tom Lane writes:
> If no one has any other objections, I'll fix the things that are> bothering me and check it in.
Isn't the "cmds" in the file names kind of redundant?
-- Peter Eisentraut peter_e(at)gmx(dot)net