Add patch files to EXTRA_DIST. Branch ------ V4_2_STABLE Details ------- https://git.postgresql.org/gitweb?p=pgpool2.git;a=commitdiff;h=6c19e93e509820d2c2b2ca904f254f58ac907698 Modified Files -------------- src/Makefile.am | 4 ++++ src/Makefile.in | 4 ++++ 2 files changed, 8 insertions(+)