diff options
author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2020-02-03 20:25:36 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@wikimedia.org> | 2020-02-03 20:25:36 +0000 |
commit | 7c6ec9a895c07d20462c44c994c3d305735103ac (patch) | |
tree | f6bddd83d572c4e0090d889ba7daff206c756f78 /docs/export-0.11.xsd | |
parent | e799b64254a0a9e285c15bbbca8ccfc176d5a665 (diff) | |
parent | 9a7990dea931e171b706e3186b07d1e43a7a76f5 (diff) | |
download | mediawikicore-7c6ec9a895c07d20462c44c994c3d305735103ac.tar.gz mediawikicore-7c6ec9a895c07d20462c44c994c3d305735103ac.zip |
Merge "RevisionStore: fail on mismatching hash or size."
Diffstat (limited to 'docs/export-0.11.xsd')
0 files changed, 0 insertions, 0 deletions