Skip to content

API change for HelpsetManager

Jens Hofschröer requested to merge api-change-HelpsetManager into main

HelpsetManager is now public. Some additional classes are added to support the access to the manager

Merge request reports