Merge pull request #129 from snaewe/fix-merging-rebase
authordscho <johannes.schindelin@gmx.de>
Thu, 15 Aug 2013 19:30:55 +0000 (15 12:30 -0700)
committerdscho <johannes.schindelin@gmx.de>
Thu, 15 Aug 2013 19:30:55 +0000 (15 12:30 -0700)
merging-rebase: set both GIT_SEQUENCE_EDITOR and GIT_EDITOR to modify the insn-cheet


Trivial merge