Docs for version v4.12.5

.circleci/deploy.sh

@@ -80,4 +80,5 @@ deploy_doc "65659a2" v4.11.3
 deploy_doc "62bf536" v4.12.0
 deploy_doc "e0a5154" v4.12.1
 deploy_doc "2191373" v4.12.2
-deploy_doc "527c763"  # v4.12.4 Latest stable release
+deploy_doc "527c763" v4.12.4
\ No newline at end of file
+deploy_doc "ef3cec0"  # v4.12.5 Latest stable release
\ No newline at end of file

docs/source/_static/js/custom.js

 // These two things need to be updated at each release for the version selector.
 // Last stable version
-const stableVersion = "v4.12.4"
+const stableVersion = "v4.12.5"
 // Dictionary doc folder to label. The last stable version should have an empty key.
 const versionMapping = {
     "master": "master",
-    "": "v4.12.0/v4.12.1/v4.12.2/v4.12.4 (stable)",
+    "": "v4.12.0/v4.12.1/v4.12.2/v4.12.4/v4.12.5 (stable)",
     "v4.11.3": "v4.11.0/v4.11.1/v4.11.2/v4.11.3",
     "v4.10.1": "v4.10.0/v4.10.1",
     "v4.9.2": "v4.9.0/v4.9.1/v4.9.2",