From b9359eda177c097ada46befcf64d9163edcc4873 Mon Sep 17 00:00:00 2001 From: Tomi Juvonen Date: Tue, 30 Oct 2018 12:18:19 +0200 Subject: Update git submodules * Update docs/submodules/doctor from branch 'master' - fix building docs Change-Id: Ie9d07f5a039e43f6468cabb41c610fd642e4c825 Signed-off-by: Tomi Juvonen --- docs/submodules/doctor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/submodules/doctor') 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 -- cgit 1.2.3-korg