Peter Eisentraut <peter_e(at)gmx(dot)net> writes:> The other alternative is to create a real 7-bit ASCII encoding, but I> doubt it's worth the effort.
Yeah, I considered that for about two seconds ...
regards, tom lane