-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1


Dear list members,

I think that Filename.basename "a/b/c/" should return "c/" because
ìf you write a trailing slash you meant that the filename represents a directory and this
information should be preserved and accounted by all Unix and Filename calls so that your
code can answer "this is not a directory" in some places.


- --
Christophe Raffalli
Université de Savoie
Batiment Le Chablais, bureau 21
73376 Le Bourget-du-Lac Cedex

tél: (33) 4 79 75 81 03
fax: (33) 4 79 75 87 42
mail: Christophe.Raffalli@univ-savoie.fr
www: http://www.lama.univ-savoie.fr/~RAFFALLI
- ---------------------------------------------
IMPORTANT: this mail is signed using PGP/MIME
At least Enigmail/Mozilla, mutt or evolution
can check this signature. The public key is
stored on www.keyserver.net
- ---------------------------------------------
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFG36fFi9jr/RgYAS4RAkV2AJ4kA1/aeaA8YdRTaxbsmFgVQ1GC5ACfTIXZ
IjQXaTvzCX7vXyFSFUwnR4I=
=ixCX
-----END PGP SIGNATURE-----