diff options
| -rw-r--r-- | Doc/tools/static/switchers.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/tools/static/switchers.js b/Doc/tools/static/switchers.js index 7a5c8bd384..075e477493 100644 --- a/Doc/tools/static/switchers.js +++ b/Doc/tools/static/switchers.js @@ -11,7 +11,7 @@ var all_versions = { '3.9': 'dev (3.9)', - '3.8': 'pre (3.8)', + '3.8': '3.8', '3.7': '3.7', '3.6': '3.6', '3.5': '3.5', |