[pgpool-committers: 6682] pgpool: Forgot to push file in previous commit.

[Tatsuo Ishii]

Forgot to push file in previous commit.

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

Branch
------
master

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

Modified Files
--------------
src/include/pool.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)