Hi,

Either "nohistory" has no effect or it just does not appear in the
"mount -v" output. As I can use "undo" and I mounted with "-o nohistory"
I assume the first.

Regards,

   Michael