merge 3.5

11 years ago · fa0e7f67ab
1 changed files with 2 additions and 1 deletions
--- a/Doc/tools/static/version_switch.js
+++ b/Doc/tools/static/version_switch.js
@ -2,7 +2,8 @@
  'use strict';

  var all_versions = {
-    '3.5': 'dev (3.5)',
+    '3.6': 'dev (3.6)',
+    '3.5': '3.5',
    '3.4': '3.4',
    '3.3': '3.3',
    '3.2': '3.2',