tree e4407a6630b3e66cd44ecd43c70923d8fcf3f01f
parent a65e9961efde6457413e4e459baae14be5a227f6
author Dave Borowitz <dborowitz@google.com> 1568233083 +0200
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1568233083 +0000

Update git submodules

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