Merge branch 'debian-release-0.14' into debian