From 996ada438e53d8c5188bf30a6a468f357f4f5cbd Mon Sep 17 00:00:00 2001 From: Tomi Juvonen Date: Tue, 13 Feb 2018 08:32:43 +0200 Subject: Update git submodules * Update docs/submodules/doctor from branch 'master' - Add process group so can kill possible hanging subprocesses. This should be workaround before actual fix is done. JIRA: DOCTOR-123 Change-Id: I70fd4ed9d2aa2cc3a6c46e2515062b7acd31ca0a Signed-off-by: Tomi Juvonen --- docs/submodules/doctor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs') diff --git a/docs/submodules/doctor b/docs/submodules/doctor index 888af5e40..0974556b8 160000 --- a/docs/submodules/doctor +++ b/docs/submodules/doctor @@ -1 +1 @@ -Subproject commit 888af5e40c21c1cef22e968c076908f1601c53f2 +Subproject commit 0974556b87007373dfbfa3efa0c7659b5ce88abe -- cgit 1.2.3-korg