MediaWiki:Mergehistory-done

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