David Pursehouse 7c080f8fce Merge changes from topic "mandatory-plugins" ...

* changes:
  Do not allow restart of mandatory plugins
  Block disabling mandatory plugin
  Allow to configure mandatory plugins

2019-06-06 23:18:42 +00:00

..

gerrit

Merge changes from topic "mandatory-plugins"

2019-06-06 23:18:42 +00:00