Next Stop merging master 14

Undo the merge

      git checkout master
      git merge topic

      git reset --hard HEAD^



Next Copyright © 2013 M. J. Dominus