Commit 955345ebebdae2b894b5a3d8e21036335cb13e5d

Bruno Haible 2008-09-24T13:50:02

Ensure that a filename ending in a slash cannot be used to access a non-directory.