projects / pgpool2.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 3203a53)
Doc: update doc version.
authorBo Peng <pengbo@sraoss.co.jp>
Wed, 17 Aug 2022 08:24:50 +0000 (17:24 +0900)
committerBo Peng <pengbo@sraoss.co.jp>
Wed, 17 Aug 2022 08:24:50 +0000 (17:24 +0900)
doc.ja/src/sgml/version.sgml patch | blob | blame | history
doc/src/sgml/version.sgml patch | blob | blame | history

diff --git a/doc.ja/src/sgml/version.sgml b/doc.ja/src/sgml/version.sgml
index 8be68883ab5852969a332ca70d15294725ed353f..619e84f10d9283f780223edbe1c248a630640b8d 100644 (file)
--- a/doc.ja/src/sgml/version.sgml
+++ b/doc.ja/src/sgml/version.sgml
@@ -1 +1 @@
-<!ENTITY version "4.0.19">
+<!ENTITY version "4.0.20">
diff --git a/doc/src/sgml/version.sgml b/doc/src/sgml/version.sgml
index 8be68883ab5852969a332ca70d15294725ed353f..619e84f10d9283f780223edbe1c248a630640b8d 100644 (file)
--- a/doc/src/sgml/version.sgml
+++ b/doc/src/sgml/version.sgml
@@ -1 +1 @@
-<!ENTITY version "4.0.19">
+<!ENTITY version "4.0.20">
Clustering tool for PostgreSQL