K 10
svn:author
V 4
tijl
K 8
svn:date
V 27
2020-05-21T09:50:36.499146Z
K 7
svn:log
V 295
Add backport of gnulib git commit 4c1009ec93e12ee34acd27f6d7e25442bedc16f2.

When the file found in a PATH element is a directory, continue searching.

PR:		246615
Submitted by:	jkim
Obtained from:	https://git.savannah.gnu.org/cgit/gnulib.git/commit/?id=4c1009ec93e12ee34acd27f6d7e25442bedc16f2

END