Should the old version be kept as an alias?

@Urbanecm old version is typo, i don't think its valid to keep it as alias

Change 610773 had a related patch set uploaded (by Urbanecm; owner: Urbanecm):
[operations/mediawiki-config@master] Rename namespace on kn.wikipedia.org

https://gerrit.wikimedia.org/r/610773

In T255337#6292263, @Anooprao wrote:

@Urbanecm old version is typo, i don't think its valid to keep it as alias

ok, thanks

Change 610773 merged by jenkins-bot:
[operations/mediawiki-config@master] Rename namespace on kn.wikipedia.org

https://gerrit.wikimedia.org/r/610773

Mentioned in SAL (#wikimedia-operations) [2020-07-09T11:28:04Z] <urbanecm@deploy1001> Synchronized wmf-config/InitialiseSettings.php: 3a7c1c33e58637437f819edf039008a00dc5be27: Rename namespace on kn.wikipedia.org (T255337) (duration: 01m 04s)