Merge 'criss-cross-merge' into HEAD
commit7536fcf23d12cf97ce54d846fb9e786d40966f96
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 10 May 2014 21:56:59 +0000 (10 16:56 -0500)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 10 May 2014 21:56:59 +0000 (10 16:56 -0500)
tree609a8e05eae19fef99a76323a1fcdad7d575e2f9
parentbe6b605193ee931645b42435ce1c2dedbc1271a1
parentda60874011654638c26b2211e3d8a355c1e32bf7
Merge 'criss-cross-merge' into HEAD