Skip to content

Add support for advisor and reporter plugin options in the UI#3251

Draft
mnonnenmacher wants to merge 11 commits intomainfrom
plugin-options
Draft

Add support for advisor and reporter plugin options in the UI#3251
mnonnenmacher wants to merge 11 commits intomainfrom
plugin-options

Commits

Commits on Jul 29, 2025