MediaWiki import 1.13 released

This version fixes an important bug when parsing links to pages containing a % in their title.

See MediaWiki (XWiki.org) for more details.