Merge 'fix-externals' into HEAD
commit7b42a55fe7e1053b03cff978eb66527f48729c2f
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 28 Dec 2013 00:09:43 +0000 (27 18:09 -0600)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 28 Dec 2013 00:09:43 +0000 (27 18:09 -0600)
tree00f15d560799df3653b2c3428d3271e2295c1fe3
parent3d87967789842150f3c07dbeba6b7347933434c3
parentb09deaa0aa98116fedbf23f9dd4f29303c4db6bf
Merge 'fix-externals' into HEAD
compat/mingw.c