From 78565db010746e83c504f4b693f54c21489e901d Mon Sep 17 00:00:00 2001
From: Thomas Kluyver <thomas@kluyver.me.uk>
Date: Wed, 20 May 2020 10:19:37 +0100
Subject: [PATCH] Install terminado for docs build

RTD is currently failing with an ImportError

Also move to a recent Python, because I don't know how long 3.5 will be available on conda.
---
 docs/environment.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/environment.yml b/docs/environment.yml
index 00029271e4..7a20ce19b0 100644
--- a/docs/environment.yml
+++ b/docs/environment.yml
@@ -1,6 +1,6 @@
 name: notebook_docs
 dependencies:
-- python=3.5
+- python=3.8
 - sphinx_rtd_theme
 - jinja2
 - tornado
@@ -8,6 +8,7 @@ dependencies:
 - jupyter_client
 - ipykernel
 - sphinx
+- terminado
 - pip:
   - nbsphinx
   - Send2Trash