tree f7f9672897c552324c4982b8773f371b6ef0e092
parent f0f0a5d6d55f168ae119761b4f60302dcf8e0a73
author Luca Milanesio <luca.milanesio@gmail.com> 1588640369 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1588640369 +0100

Remove plugin-manager from the list of core plugins

Plugin-manager wasn't a core plugin in Gerrit v2.16,
therefore it should not be expected to be included in the
release.war and returned in the list of core plugins to install.

Change-Id: I33d05851c7e4b454b132fd117017c43fcef3be01