log PyExtensionManager.cpp @ 120:a38d318c85a9 tip

age author description
Tue, 26 Feb 2019 12:46:24 +0000 Chris Cannam Fix crash when plugin library is loaded and unloaded without any plugins being queried (so extension manager is never initialised)