Add missing XML ID attribute
authorPeter Eisentraut <peter@eisentraut.org>
Thu, 13 Apr 2023 07:48:38 +0000 (09:48 +0200)
committerPeter Eisentraut <peter@eisentraut.org>
Thu, 13 Apr 2023 07:48:38 +0000 (09:48 +0200)
commita34901dd03edb473ddbd81ee5c7332575f6d8881
tree8ae6e208593599e384a2bdd42bd348a471d73e53
parent6ca8df2d61473327b0e90b9becfe109299f47b8a
Add missing XML ID attribute

Discussion: https://www.postgresql.org/message-id/dc813a6f-60d9-991f-eecd-675a0921de11@gmx.de
doc/src/sgml/pgbuffercache.sgml