> From: Paul Eggert [mailto:egg...@cs.ucla.edu] > Sent: Tuesday, February 19, 2013 10:07 PM > To: Joachim Schmitz > Cc: bug-gnulib@gnu.org > Subject: Re: usage of hasmntopt() in gnulib > > 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
Thanks, looks good to me. Bye, Jojo
