| 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"