]> granicus.if.org Git - postgresql/commit
Doc: remove ancient comment.
authorTatsuo Ishii <ishii@postgresql.org>
Sun, 17 Feb 2019 11:40:43 +0000 (20:40 +0900)
committerTatsuo Ishii <ishii@postgresql.org>
Sun, 17 Feb 2019 11:40:43 +0000 (20:40 +0900)
commit6e5c270318c92bdb1689da45304d27f85aeb0b91
tree57b8fc33a7ebe47a0060613fdbfa1d5efd15c9c8
parent468b1af66088923bb045d112c3574a8738e4989e
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
doc/src/sgml/rules.sgml