Marc G. Fournier writes:
> Looks good from my end, Peter, I pulled the same docs that I pulled for
> v7.2.2, which I hope is okay?
Probably not, because the version number needs to be changed and they need
to be rebuilt for each release.
--
Peter Eisentraut peter_e(at)gmx(dot)net