Tom Lane writes:
> Right-o: HEAD is 7.4devel now ...
Will someone merge the 7.3 branch into 7.4devel when the former isreleased? I don't feel like double-patching...
-- Peter Eisentraut peter_e(at)gmx(dot)net