From 4481bebb38bdc93f2214f354deee7c5a174e05cf Mon Sep 17 00:00:00 2001
From: Igor Minar <igor@angular.io>
Date: Wed, 24 Jun 2020 17:10:47 -0700
Subject: [PATCH] docs: add v9.angular.io to the angular.io version picker
 (#37719)

Now that v10 is out, it's time to add the v9.angular.io link to the version picker, so here we go...

PR Close #37719
---
 aio/content/navigation.json | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/aio/content/navigation.json b/aio/content/navigation.json
index 363dca4c3a..47f3687a47 100644
--- a/aio/content/navigation.json
+++ b/aio/content/navigation.json
@@ -1013,6 +1013,10 @@
     }
   ],
   "docVersions": [
+    {
+      "title": "v9",
+      "url": "https://v9.angular.io/"
+    },
     {
       "title": "v8",
       "url": "https://v8.angular.io/"