Docs for v4.12.2

.circleci/deploy.sh

@@ -78,4 +78,5 @@ deploy_doc "54f9d62" v4.11.1
 deploy_doc "7655f11" v4.11.2
 deploy_doc "65659a2" v4.11.3
 deploy_doc "62bf536" v4.12.0
-deploy_doc "e0a5154"  # v4.12.1 Latest stable release
+deploy_doc "e0a5154" v4.12.1
\ No newline at end of file
+deploy_doc "2191373"  # v4.12.2 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.1"
+const stableVersion = "v4.12.2"
 // Dictionary doc folder to label. The last stable version should have an empty key.
 const versionMapping = {
     "master": "master",
-    "": "v4.12.0/v4.12.1 (stable)",
+    "": "v4.12.0/v4.12.1/v4.12.2 (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",