Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Move Library to advanced plugins because new users tend to get lost #860

Merged
merged 1 commit into from
Sep 10, 2023

Conversation

ArneBab
Copy link
Contributor

@ArneBab ArneBab commented Sep 10, 2023

Before moving it back to the default list of plugins, we need to figure out a good user experience for it. At the moment either it does not work or it floods users with bad results.

Before moving it back to the default list of plugins, we need to
figure out a good user experience for it. At the moment either it does
not work or it floods users with bad results.
@ArneBab ArneBab merged commit e276a83 into hyphanet:next Sep 10, 2023
@ArneBab
Copy link
Contributor Author

ArneBab commented Sep 10, 2023

Thank you for your review!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants