Skip to content

Revert to adminer - #381

Merged
martignoni merged 1 commit into
mainfrom
379-revert-to-original-adminer
May 30, 2025
Merged

Revert to adminer#381
martignoni merged 1 commit into
mainfrom
379-revert-to-original-adminer

Conversation

@martignoni

Copy link
Copy Markdown
Member

@martignoni martignoni added this to the 4.10.0 milestone May 30, 2025
@martignoni martignoni self-assigned this May 30, 2025
@martignoni martignoni linked an issue May 30, 2025 that may be closed by this pull request
@martignoni
martignoni merged commit 1255427 into main May 30, 2025
@martignoni
martignoni deleted the 379-revert-to-original-adminer branch May 30, 2025 10:08
martignoni added a commit that referenced this pull request May 30, 2025
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.

Revert to original Adminer

1 participant