tree f312d0be607239842b6e3671a9f749c7036a394d
parent a80d685eaa1333e72c94d0b9cb817f37e5ad95d2
author Edwin Kempin <ekempin@google.com> 1563368910 +0200
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1563368910 +0000

Update git submodules

* Update plugins/plugin-manager from branch 'master'
  to f681e7ecb6ddbc52fe9e07cf3672ccdcad7d7d0b
  - ListAvailablePlugins: Let RestApiServlet do the conversion to JSON
    
    Also inline the display() method which had only a single caller.
    
    Signed-off-by: Edwin Kempin <ekempin@google.com>
    Change-Id: I63a9275fe48ce68d8cf81ad82d4fe6a37aa96781