Re: Shared library versions

> 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