[pgpool-committers: 6209] pgpool: Update version to Pgpool-II 4.2 devel.

[Tatsuo Ishii]

Update version to Pgpool-II 4.2 devel.

Branch
------
master

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

Modified Files
--------------
configure.ac          | 2 +-
src/include/version.h | 3 ++-
2 files changed, 3 insertions(+), 2 deletions(-)