Skip to content
This repository has been archived by the owner on Jul 25, 2024. It is now read-only.

!code rename <type> <old name> <new name> #115

Open
Wit-MKW opened this issue Mar 16, 2021 · 0 comments
Open

!code rename <type> <old name> <new name> #115

Wit-MKW opened this issue Mar 16, 2021 · 0 comments

Comments

@Wit-MKW
Copy link

Wit-MKW commented Mar 16, 2021

This feature was already requested, but it was scrapped because the MySQL rewrite was cancelled. Now that it is being rewritten, and I would like this feature, I figured I'd ask for it.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Wit-MKW