Next Stop merging master 9

Stop merging changes from master

git-pull = git-fetch + git-merge



Next Copyright © 2013 M. J. Dominus