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

Migrate to MediaWiki 1.42 #202

Merged
merged 2 commits into from
Jun 30, 2024
Merged

Migrate to MediaWiki 1.42 #202

merged 2 commits into from
Jun 30, 2024

Conversation

lens0021
Copy link
Member

No description provided.

@lens0021 lens0021 added the mw1.42 MediaWiki 1.42 label Jun 30, 2024
@lens0021 lens0021 force-pushed the multi-gadget-repo branch from fc610fd to 7a2a07a Compare June 30, 2024 07:41
@lens0021 lens0021 merged commit d0e4b11 into main Jun 30, 2024
3 checks passed
@lens0021 lens0021 deleted the multi-gadget-repo branch June 30, 2024 07:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
mw1.42 MediaWiki 1.42
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

1 participant