Amit Kapila 15113bfb46 Doc: Remove the use of a duplicate word. ... This has been removed in HEAD by commit a234177906, so doing just backpatch to 15 where it was introduced in commit 860ea46ba7. Author: Zhang Mingli Discussion: https://postgr.es/m/OS0PR01MB57162559C01FE2848C12E8F7944D9@OS0PR01MB5716.jpnprd01.prod.outlook.com		2022-09-26 09:26:47 +05:30
..
src	Doc: Remove the use of a duplicate word.	2022-09-26 09:26:47 +05:30
KNOWN_BUGS
Makefile	Remove maintainer-check target, fold into normal build	2013-10-10 20:11:56 -04:00
MISSING_FEATURES
TODO	Change documentation references to PG website to use https: not http:	2017-05-20 21:50:47 -04:00