From b9359eda177c097ada46befcf64d9163edcc4873 Mon Sep 17 00:00:00 2001
From: Tomi Juvonen <tomi.juvonen@nokia.com>
Date: Tue, 30 Oct 2018 12:18:19 +0200
Subject: [PATCH] Update git submodules

* Update docs/submodules/doctor from branch 'master'
  - fix building docs

    Change-Id: Ie9d07f5a039e43f6468cabb41c610fd642e4c825
    Signed-off-by: Tomi Juvonen <tomi.juvonen@nokia.com>
---
 docs/submodules/doctor | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/submodules/doctor b/docs/submodules/doctor
index 2ca592408..5b3f5937e 160000
--- a/docs/submodules/doctor
+++ b/docs/submodules/doctor
@@ -1 +1 @@
-Subproject commit 2ca5924081ce4784f599437707bd32807aa155ce
+Subproject commit 5b3f5937e7b861fca46b2a6b2d6708866b800f95
-- 
2.16.6