Skip loading a plugin if it was already loaded

Authored by ahiemstra on May 19 2020, 9:10 AM.

Description

Skip loading a plugin if it was already loaded

This prevents duplicate plugins (like one local and one system) from
being loaded, making it less likely that the one wrong is loaded.

Details

Committed
ahiemstraMay 19 2020, 9:10 AM
Parents
R106:677aec7e8f76: GIT_SILENT: we don't use phabricator now
Branches
Unknown
Tags
Unknown