images/mediawiki
7
0
Fork 0
Code Issues1 Pull requests Projects Releases Wiki Activity

update-1.37 #1

Merged
paul merged 4 commits from update-1.37 into master 2022-03-19 12:49:52 +01:00
Conversation 0 Commits 4 Files changed 4 +160 -59
paul commented 2022-03-19 12:30:42 +01:00
Owner
No description provided.
cpp was assigned by paul 2022-03-19 12:30:43 +01:00
paul added 4 commits 2022-03-19 12:30:43 +01:00
paul merged commit 5cfd3c1641 into master 2022-03-19 12:49:52 +01:00
paul deleted branch update-1.37 2022-03-19 12:49:52 +01:00
paul referenced this pull request from a commit 2022-03-19 12:49:52 +01:00
chore: update to mediawiki 1.37
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
cpp
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: images/mediawiki#1
No description provided.
Delete branch "update-1.37"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?