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.

Sign up for GitHub

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

Jump to bottom

How to delete. #197

Open

comeback01 opened this issue Jan 20, 2024 · 1 comment

Labels

comeback01 commented Jan 20, 2024

Hello,

There are several things I want to delete, but I can't:

users
Messages in the playground

Thanks for your help

Owner

n4ze3m commented Jan 20, 2024

Hey, there is no way to do it currently, but it will be added in the next update (1.7.1)

n4ze3m added the enhancement label

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