MediaWiki:Double-redirect-fixer/hrx

RedirectBot