MediaWiki:Mergehistory-done/en

$3 revisions of $1 were merged into $2.