From d2eb0b09049f1080a1e20faecf5092768a4d8e4c Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Mon, 4 Mar 2019 08:59:21 +0100
Subject: [PATCH] [deploy] Fix missing import

---
 bob/devtools/deploy.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bob/devtools/deploy.py b/bob/devtools/deploy.py
index e67e57ab..847f9768 100644
--- a/bob/devtools/deploy.py
+++ b/bob/devtools/deploy.py
@@ -4,6 +4,7 @@
 '''Deployment utilities for conda packages and documentation via webDAV'''
 
 
+import os
 
 from .constants import WEBDAV_PATHS, SERVER
 from .log import get_logger
-- 
GitLab