commit | bb395d99a3af9a90ec573555f444b62a42591afd | [log] [tgz] |
---|---|---|
author | jenkins-bot <[email protected]> | Sat Aug 19 16:09:45 2023 +0000 |
committer | Gerrit Code Review <[email protected]> | Sat Aug 19 16:09:45 2023 +0000 |
tree | cdc810e507386a20a8739f47e173318d1e969d23 | |
parent | 73dd7733f59c1d82b1e226a5482a3d9f2712da4d [diff] | |
parent | b7e378d66c0cf9e7c7e40340c2b097e52929534e [diff] |
Merge "build: Update MediaWiki requirement to 1.41"