2.5.13
Merge branch 'master' into github

Conflicts:
	changelog.txt