Merge 'criss-cross-merge' into HEAD
commitc8081970151f78dbec1de0651dff5c4adf5f6594
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Thu, 10 Apr 2014 18:53:41 +0000 (10 13:53 -0500)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Thu, 10 Apr 2014 18:53:41 +0000 (10 13:53 -0500)
tree2f30075c24ea6d603ef15a06dcb0463b6c0fcfe6
parentdbda31249f6054ed761c60c305f9b3365b09e104
parent0361bfe43a04f815de48375fb1d1c8e1abaf00b4
Merge 'criss-cross-merge' into HEAD