gplugin/gplugin

Close branch feature/remove-gplugin_manager_free_plugin_list
feature/remove-gplugin_manager_free_plugin_list
2020-02-23, Gary Kramlich
e918cb912e56
Parents 788d3d29af14
Children c77a3dfaa9d1
Close branch feature/remove-gplugin_manager_free_plugin_list