Last modified: 2012-12-31 16:10:33 UTC
I noticed the following problem on MediaWiki.org: Currently if a page in your watchlist is a redirect and for some reason the redirect is edited, it will show up as a bold entry in your watchlist. But if you click on that link in your watchlist, to open the page, you will be redirected and the bold won't get out until you go to the redirect itself. I expect the bold of the redirect page link to be removed as soon as I click on it, because this is what happens to any other pages in my watchlist.
Gerrit change #38088
Uh, whoops. That's the bug number. I mean Gerrit change #13627
The Gerrit change has been abandoned.