Doc: remove ancient comment.

Tatsuo Ishii <ishii@postgresql.org>

Commit: 0c2dcb9332ef6d25b4adf8ca918a7083ebb5dcdc
Author: Tatsuo Ishii <ishii@postgresql.org>
Date: 2019-02-17T11:42:14Z
Releases: 9.6.13
Doc: remove ancient comment.

There's a very old comment in rules.sgml added back to 2003.  It
expected to a feature coming back but it never happened. So now we can
safely remove the comment. Back-patched to all supported branches.

Discussion: https://postgr.es/m/20190211.191004.219630835457494660.t-ishii%40sraoss.co.jp

Files

PathChange+/−
doc/src/sgml/rules.sgml modified +0 −24

Documentation touched

Discussion