[pgpool-committers: 9100] pgpool: Doc: Bump version to 4.2.12

[Bo Peng]

Doc: Bump version to 4.2.12

Branch
------
V4_2_STABLE

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

Modified Files
--------------
doc.ja/src/sgml/version.sgml | 2 +-
doc/src/sgml/version.sgml    | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)