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

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


Add patch files to EXTRA_DIST.

Branch
------
V4_3_STABLE

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

Modified Files
--------------
src/Makefile.am | 4 ++++
src/Makefile.in | 4 ++++
2 files changed, 8 insertions(+)



More information about the pgpool-committers mailing list