commit d32ed90d7e2ac2fcd29278baf5179afe442ee721
author Dave Borowitz <dborowitz@google.com> Wed Sep 11 22:18:03 2019 +0200
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Wed Sep 11 20:18:03 2019 +0000
tree e4407a6630b3e66cd44ecd43c70923d8fcf3f01f
parent a65e9961efde6457413e4e459baae14be5a227f6

Update git submodules

* Update plugins/plugin-manager from branch 'master'
  to 7d9562b29c8ae277595a1e9c6a18c1018252cd16
  - CorePluginsRepository: Convert to streams and lambdas
    
    Change-Id: If26858a4c3ba6e814d19252702af0dab95e037b6
    

plugins/plugin-manager

diff --git a/plugins/plugin-manager b/plugins/plugin-manager
index b4aad55..7d9562b 160000
--- a/plugins/plugin-manager
+++ b/plugins/plugin-manager
@@ -1 +1 @@
-Subproject commit b4aad554e56d9359fc0b17997f260169f685c7f2
+Subproject commit 7d9562b29c8ae277595a1e9c6a18c1018252cd16