Robert Haas <robertmh...@gmail.com> writes: > I think we should remove those mentions. Otherwise the documentation > just collects mentions of an increasing number of things that are no > longer relevant.
Yeah, I think the same. There will be a release-note entry, and I don't object to having something about it in appendix-obsolete.sgml; but we shouldn't clutter the main docs with it. regards, tom lane