jenkins-bot submitted this change.

Approvals:
  Ammarpad: Looks good to me, but someone else must approve
  Xqt: Looks good to me, approved
  jenkins-bot: Verified

[IMPR] category_redirect: use "→" (&rarr;) instead of "->"

Looks better in wiki pages.

Change-Id: I504144c9b5a10886902253ea17afc6910b7d37ec
---
M scripts/category_redirect.py
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/category_redirect.py b/scripts/category_redirect.py
index 6e9b208..0931e60 100755
--- a/scripts/category_redirect.py
+++ b/scripts/category_redirect.py
@@ -354,7 +354,7 @@
                 # make sure every redirect has a record entry
                 record[cat_title] = {today: None}
                 try:
-                    newredirs.append('*# {} -> {}'.format(
+                    newredirs.append('*# {} → {}'.format(
                         cat.title(as_link=True, textlink=True),
                         cat.getCategoryRedirectTarget().title(
                             as_link=True, textlink=True)))

To view, visit change 623555. To unsubscribe, or for help writing mail filters, visit settings.