- Issue created by @jibla
- First commit to issue fork.
- Merge request !28Issue #3541846: Search within tools for a plugin → (Merged) created by Unnamed author
Now that this issue is closed, please review the contribution record.
As a contributor, attribute any organization helped you, or if you volunteered your own time.
Maintainers, please credit people who helped resolve this issue.