plugins/regioning/addin_manager.cc