From 5c335b37d551fc354f9606e86ffb7b8ccf9ceb91 Mon Sep 17 00:00:00 2001
From: Pawel Wieczorek <p.wieczorek2@samsung.com>
Date: Tue, 9 Apr 2019 16:25:15 +0200
Subject: [PATCH] Update git submodules

* Update docs/submodules/integration/devtool.git from branch 'master'
  to f0f1a644ee5c8da2ee35cb78b8db67e3838121cb
  - Synchronize Vagrant version between doc and script

    Environment preparation script (tools/setup.sh) installs Vagrant 2.2.3,
    while documentation recommends version 2.0.1.

    Issue-ID: DOC-420
    Change-Id: I9aefc8db2bacacab88a010c587b72a259e550ac8
    Signed-off-by: Pawel Wieczorek <p.wieczorek2@samsung.com>
---
 docs/submodules/integration/devtool.git | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/submodules/integration/devtool.git b/docs/submodules/integration/devtool.git
index 07c12b82b..f0f1a644e 160000
--- a/docs/submodules/integration/devtool.git
+++ b/docs/submodules/integration/devtool.git
@@ -1 +1 @@
-Subproject commit 07c12b82b1b23d9c824a46e9c861f79ee5a6867c
+Subproject commit f0f1a644ee5c8da2ee35cb78b8db67e3838121cb
-- 
2.16.6