I tried "hand mounting" as per message #72, I don't think that's the cause. It seems to be the "user" option that disables exec. Without "user" I get exec permissions whether I mount using /etc/fstab or give a full mount command, with the "user" option I get no exec.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org