Update git submodules

* Update docs/submodules/functest from branch 'master'
  - Merge "Chmod 755 functest/ci/download_images.sh"
  - Chmod 755 functest/ci/download_images.sh
    
    It's designed to be called via Jenkins and was fixed by the next rule:
    
    $ find ${FUNCTEST_REPO_DIR} -name "*.sh" \
      |xargs grep \#\! |cut -d\: -f 1 |xargs chmod -c 755
    
    Change-Id: I186aa9c3227dbac4e80f9a463632efdb2512020e
    Signed-off-by: Cédric Ollivier <cedric.ollivier@orange.com>
    

1 files changed, 0 insertions, 0 deletions

diff --git a/docs/submodules/functest b/docs/submodules/functest
-Subproject 94f13ed9eb5005f8fb9e22e96a18ccec1aa6e5d
+Subproject 8c71f206875bab312072feeede1b9999efd7669