Public Git Hosting - git/debian.git/commit

commit	9ff15b080c447d5ae69f63553becd20b7c414c52
author	Junio C Hamano <gitster@pobox.com>
	Fri, 2 Jun 2017 06:06:01 +0000 (2 15:06 +0900)
committer	Junio C Hamano <gitster@pobox.com>
	Fri, 2 Jun 2017 06:06:01 +0000 (2 15:06 +0900)
tree	a829475c6181257e5ba29a5cebac9014f3409026	tree \| snapshot (tar.gz zip)
parent	ce079b9567678dc01b4c5fac4853b134bdb4e1dc	commit \| diff
parent	e0ca1ca20a0bde51c4eb9242dd9521ac1ed08304	commit \| diff

Merge branch 'rs/mingw-path-lookup-simplify'

Code simplification.

* rs/mingw-path-lookup-simplify:
mingw: simplify PATH handling