From 0d2cdf6165f45439091f00970a8f184ba917c199 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 152edd135f..2fa49ef3be 100644
--- a/aio/content/navigation.json
+++ b/aio/content/navigation.json
@@ -1008,6 +1008,10 @@
     }
   ],
   "docVersions": [
+    {
+      "title": "v9",
+      "url": "https://v9.angular.io/"
+    },
     {
       "title": "v8",
       "url": "https://v8.angular.io/"