Skip to content

update magnustools#142

Merged
deer-wmde merged 1 commit intomainfrom
de/update-magnustools-20250326
Apr 10, 2025
Merged

update magnustools#142
deer-wmde merged 1 commit intomainfrom
de/update-magnustools-20250326

Conversation

@deer-wmde
Copy link
Contributor

https://phabricator.wikimedia.org/T383335

use cleaned up version of magnustools fork

use cleaned up version of magnustools fork
@deer-wmde deer-wmde merged commit b67e613 into main Apr 10, 2025
3 checks passed
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