[pgpool-committers: 9066] pgpool: Add patch files to EXTRA_DIST.

Bo Peng pengbo at sraoss.co.jp
Mon Jan 16 22:44:30 JST 2023


Add patch files to EXTRA_DIST.

Branch
------
master

Details
-------
https://git.postgresql.org/gitweb?p=pgpool2.git;a=commitdiff;h=61d50457ec0ca2e6bd417054a50a819faffb54e0

Modified Files
--------------
src/Makefile.am | 5 +++++
1 file changed, 5 insertions(+)



More information about the pgpool-committers mailing list