gplugin/gplugin

unload plugins when the plugin manager is finalized.
bugfix/valgrind-catchup
2020-03-09, Gary Kramlich
59cd9964eace
unload plugins when the plugin manager is finalized.
[branchname]
master = default
develop = develop
feature = feature/
release = release/
hotfix = hotfix/
support = support/