diff options
Diffstat (limited to 'main/changelog.html')
| -rw-r--r-- | main/changelog.html | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/main/changelog.html b/main/changelog.html index 324ce18d..a0e5d794 100644 --- a/main/changelog.html +++ b/main/changelog.html @@ -204,6 +204,10 @@ <a class="version_link reference internal" href="changelog.html">main</a> </li> + <li class="toctree-l2 "> + <a class="version_link reference internal" href="../v7.1.1/changelog.html">v7.1.1</a> + </li> + <script> // Make sure we keep any hyperlinked resources when switching version |