Skip to content

Add Mediawiki 1.46.0#168

Merged
christian-heusel merged 2 commits into
mainfrom
mediawiki-1.46.0
Jul 1, 2026
Merged

Add Mediawiki 1.46.0#168
christian-heusel merged 2 commits into
mainfrom
mediawiki-1.46.0

Conversation

@christian-heusel

Copy link
Copy Markdown
Collaborator

@christian-heusel christian-heusel marked this pull request as draft June 30, 2026 21:41
Fingerprint: 7759DE19A22260232F251342FC4D45E75D14112B
Uid: Yiannis Giannelos <jgiannelos@wikimedia.org>
Origin: https://www.mediawiki.org/keys/keys.txt

Signed-off-by: Christian Heusel <christian@heusel.eu>
@christian-heusel christian-heusel marked this pull request as ready for review July 1, 2026 01:42
@christian-heusel christian-heusel added this pull request to the merge queue Jul 1, 2026
Merged via the queue into main with commit 618c79d Jul 1, 2026
26 checks passed
yosifkit pushed a commit to docker-library/official-images that referenced this pull request Jul 1, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant