Bruce Momjian <bruce(at)momjian(dot)us> writes:
> On Mon, May 28, 2012 at 02:27:15AM +0300, Peter Eisentraut wrote:
>> We should just remove it now.
> --disable-shared removed, with the attached, applied patch.
No documentation changes?
regards, tom lane