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
Branch
------
REL_10_STABLE
Details
-------
https://git.postgresql.org/pg/commitdiff/6e5c270318c92bdb1689da45304d27f85aeb0b91
Modified Files
--------------
doc/src/sgml/rules.sgml | 24 ------------------------
1 file changed, 24 deletions(-)