projects / pgpool2.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: a74c35a)
Doc: update doc version.
authorBo Peng <pengbo@sraoss.co.jp>
Wed, 18 May 2022 02:22:41 +0000 (11:22 +0900)
committerBo Peng <pengbo@sraoss.co.jp>
Wed, 18 May 2022 02:22:41 +0000 (11:22 +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 8e6afe711e1c7d491576efb19951e4245c8b84ba..8be68883ab5852969a332ca70d15294725ed353f 100644 (file)
--- a/doc.ja/src/sgml/version.sgml
+++ b/doc.ja/src/sgml/version.sgml
@@ -1 +1 @@
-<!ENTITY version "4.0.18">
+<!ENTITY version "4.0.19">
diff --git a/doc/src/sgml/version.sgml b/doc/src/sgml/version.sgml
index 8e6afe711e1c7d491576efb19951e4245c8b84ba..8be68883ab5852969a332ca70d15294725ed353f 100644 (file)
--- a/doc/src/sgml/version.sgml
+++ b/doc/src/sgml/version.sgml
@@ -1 +1 @@
-<!ENTITY version "4.0.18">
+<!ENTITY version "4.0.19">
Clustering tool for PostgreSQL