-
Arjen Hiemstra authored
This allows us to filter out duplicate plugins before trying to load them, avoiding nasty crashes because the system-installed plugin is abi-incompatible with a newer version of the plugin api. Eventually we can extend this with additional checks to make sure plugins are compatible.
90a2314a