This repository has been archived by the owner on Nov 6, 2022. It is now read-only.

Extensions search bar #100

Open

NerdNumber9 opened this issue Sep 5, 2019 · 1 comment

Owner

NerdNumber9 commented Sep 5, 2019

No description provided.

joseph619 commented Oct 31, 2019

This has already been added to Dev version, so now it can be merged from there.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.