MediaWiki:Double-redirect-fixed-maintenance/en

Automatically fixing double redirect from $1 to $2 in a maintenance job.