Forgot to push file in previous commit.
authorTatsuo Ishii <ishii@sraoss.co.jp>
Mon, 20 Apr 2020 05:25:09 +0000 (14:25 +0900)
committerTatsuo Ishii <ishii@sraoss.co.jp>
Mon, 20 Apr 2020 05:25:09 +0000 (14:25 +0900)
commite8230439c1f68cf14bce0b24c1cfd022d528405e
tree084f0fba70c8744721dff7fab0e5a219e3a20046
parent9bc88a88142bc593698a58af38d05880c8b8b6c7
Forgot to push file in previous commit.

Previous commit: https://git.postgresql.org/gitweb?p=pgpool2.git;a=commitdiff;h=589a81960939102fb620b395b8cd45434d6aa4bc
src/include/pool.h