From 5b5efe7193d7752920b871a429efda0fe96395cd Mon Sep 17 00:00:00 2001
From: "David B. Kinder" <david.b.kinder@intel.com>
Date: Thu, 15 Aug 2019 09:31:28 -0700
Subject: [PATCH] doc: add v1.2 to the release navigation picker

Signed-off-by: David B. Kinder <david.b.kinder@intel.com>
---
 doc/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/conf.py b/doc/conf.py
index a752586f8..c3885b2ba 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -189,10 +189,10 @@ else:
 html_context = {
    'current_version': current_version,
    'versions': ( ("latest", "/latest/"),
+                 ("1.2", "/1.2/"),
                  ("1.1", "/1.1/"),
                  ("1.0", "/1.0/"),
                  ("0.8", "/0.8/"),
-                 ("0.7", "/0.7/"),
                )
     }