Resolve "opening plugin multiple times should be not possible"
Closes #277 (closed)
Merge request reports
Activity
Filter activity
Please register or sign in to reply
Closes #277 (closed)
marked this merge request as ready
enabled an automatic merge when the pipeline for b56696f4 succeeds
merged
mentioned in commit f20322f7