Complete the Gerrit v3.1.13 release notes
Change-Id: Ia77c465c9c8d8dc62f3ecdf74bf9d1c6d3969ab0
diff --git a/pages/site/releases/3.1.md b/pages/site/releases/3.1.md
index 57f7836..2a71c5b 100644
--- a/pages/site/releases/3.1.md
+++ b/pages/site/releases/3.1.md
@@ -6,7 +6,8 @@
toc: true
---
-Download: **[3.1.12](https://gerrit-releases.storage.googleapis.com/gerrit-3.1.12.war)**
+Download: **[3.1.13](https://gerrit-releases.storage.googleapis.com/gerrit-3.1.13.war)**
+| [3.1.12](https://gerrit-releases.storage.googleapis.com/gerrit-3.1.11.war)
| [3.1.11](https://gerrit-releases.storage.googleapis.com/gerrit-3.1.11.war)
| [3.1.10](https://gerrit-releases.storage.googleapis.com/gerrit-3.1.10.war)
| [3.1.8](https://gerrit-releases.storage.googleapis.com/gerrit-3.1.8.war)
@@ -19,7 +20,8 @@
| [3.1.1](https://gerrit-releases.storage.googleapis.com/gerrit-3.1.1.war)
| [3.1.0](https://gerrit-releases.storage.googleapis.com/gerrit-3.1.0.war)
-Documentation: **[3.1.12](https://gerrit-documentation.storage.googleapis.com/Documentation/3.1.12/index.html)**
+Documentation: **[3.1.13](https://gerrit-documentation.storage.googleapis.com/Documentation/3.1.13/index.html)**
+| [3.1.12](https://gerrit-documentation.storage.googleapis.com/Documentation/3.1.12/index.html)
| [3.1.11](https://gerrit-documentation.storage.googleapis.com/Documentation/3.1.11/index.html)
| [3.1.10](https://gerrit-documentation.storage.googleapis.com/Documentation/3.1.10/index.html)
| [3.1.8](https://gerrit-documentation.storage.googleapis.com/Documentation/3.1.8/index.html)
@@ -312,13 +314,50 @@
## Bugfix Releases
-### 3.1.13 (in development)
+### 3.1.13
+
+* New Features
+
+ * [Issue 14091](https://bugs.chromium.org/p/gerrit/issues/detail?id=14091):
+ Support the highlighting of LaTeX files with .tex extension.
* Breaking Changes
* Elasticsearch: Support for [EOL versions](https://www.elastic.co/support/eol)
7.2 and 7.3 is discontinued. Both elasticsearch versions became EOL recently.
+ * [Issue 13931](https://bugs.chromium.org/p/gerrit/issues/detail?id=13931):
+ Disallow editing the Change-Id during inline edits.
+
+* Bug Fixes
+
+ * [Issue 12443](https://bugs.chromium.org/p/gerrit/issues/detail?id=12443):
+ Stop generating continuous "logging context is not empty" in error_log.
+
+ * [Issue 14097](https://bugs.chromium.org/p/gerrit/issues/detail?id=14097):
+ Allow enabling of Git GC button for non-local Git repository managers, such
+ as multi-site repositories.
+
+ * [Issue 14118](https://bugs.chromium.org/p/gerrit/issues/detail?id=14118):
+ Quota management: enforce repository size on pack rather than on object.
+
+* PolyGerrit Fixes
+
+ * [Issue 14257](https://bugs.chromium.org/p/gerrit/issues/detail?id=14257):
+ Fix empty TopMenu drop down list.
+
+* Replication plugin fixes
+
+ * [Issue 12754](https://bugs.chromium.org/p/gerrit/issues/detail?id=12754):
+ Remove replication plugin running tasks after their completion.
+
+* Documentation updates
+
+ * Align the recommended buildifier version to v4.0, the same used in the CI.
+
+ * Development guidelines: mention that Optional in arguments is discouraged
+ (use @Nullable instead) but may be used as return type.
+
### 3.1.12
* New Features