Philipp Muens 99a12414e1 Merge pull request #3959 from RafalWilinski/3956-catch-unknown-plugin
Wrap addPlugin in try/catch statement when loading plugins
2017-07-21 10:58:44 +02:00
..
2017-05-26 17:00:52 -07:00
2017-07-19 12:40:24 +02:00
2017-07-19 12:40:24 +02:00