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

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


Add patch files to EXTRA_DIST.

Branch
------
V4_4_STABLE

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

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



More information about the pgpool-committers mailing list