Merge origin/master into HEAD

Conflicts:
	.gitignore