diff options
-rw-r--r-- | doc/src/sgml/filelist.sgml | 1 | ||||
-rw-r--r-- | doc/src/sgml/release-12.sgml | 11 | ||||
-rw-r--r-- | doc/src/sgml/release.sgml | 1 |
3 files changed, 13 insertions, 0 deletions
diff --git a/doc/src/sgml/filelist.sgml b/doc/src/sgml/filelist.sgml index f010cd4c3bc..48ac14a8380 100644 --- a/doc/src/sgml/filelist.sgml +++ b/doc/src/sgml/filelist.sgml @@ -166,6 +166,7 @@ <!ENTITY sourcerepo SYSTEM "sourcerepo.sgml"> <!ENTITY release SYSTEM "release.sgml"> +<!ENTITY release-12 SYSTEM "release-12.sgml"> <!ENTITY release-11 SYSTEM "release-11.sgml"> <!ENTITY release-10 SYSTEM "release-10.sgml"> <!ENTITY release-9.6 SYSTEM "release-9.6.sgml"> diff --git a/doc/src/sgml/release-12.sgml b/doc/src/sgml/release-12.sgml new file mode 100644 index 00000000000..b06fef287dc --- /dev/null +++ b/doc/src/sgml/release-12.sgml @@ -0,0 +1,11 @@ +<!-- doc/src/sgml/release-12.sgml --> +<!-- See header comment in release.sgml about typical markup --> + + <sect1 id="release-12"> + <title>Release 12</title> + + <para>JIT is enabled by default in this release. It was disabled by + default in PG 11, so we document is enablement here. + </para> + + </sect1> diff --git a/doc/src/sgml/release.sgml b/doc/src/sgml/release.sgml index b78a942bcd1..c4e763a0432 100644 --- a/doc/src/sgml/release.sgml +++ b/doc/src/sgml/release.sgml @@ -76,6 +76,7 @@ For new features, add links to the documentation sections. The reason for splitting the release notes this way is so that appropriate subsets can easily be copied into back branches. --> +&release-12; &release-11; &release-10; &release-9.6; |