Talking on IRC, we realized this alias would be kind of nice if it's not too much hassle.
svn.mediawiki.org -> svn.wikimedia.org
Thanks :)
Version: unspecified
Severity: enhancement
Talking on IRC, we realized this alias would be kind of nice if it's not too much hassle.
svn.mediawiki.org -> svn.wikimedia.org
Thanks :)
Version: unspecified
Severity: enhancement