Re: usage of hasmntopt() in gnulib

[Paul Eggert]

Thanks, I pushed a slightly different patch that
should do the same thing, here:

http://git.savannah.gnu.org/cgit/gnulib.git/commit/?id=62bb7a8bf95807d6339e1e17fc0d21c319b280a2