> We did not bump the shared library versions before the 7.1 release.
> Maybe we should do this before 7.1.2 goes out.
I thought I did that long ago for 7.1, or I should have anyway. I don't
see the commits either. Seems we can't do it in a minor release. Will
have to wait for 7.2, but since there really wasn't much API change in
7.1, I think we are OK. Not sure if we should update them if there are
no API changes, or were there?
-- Bruce Momjian | http://candle.pha.pa.us pgman@candle.pha.pa.us | (610)
853-3000+ If your life is a hard drive, | 830 Blythe Avenue + Christ can be your backup. | Drexel Hill,
Pennsylvania19026