We did not bump the shared library versions before the 7.1 release.Maybe we should do this before 7.1.2 goes out.
-- Peter Eisentraut peter_e(at)gmx(dot)net http://funkturm.homeip.net/~peter