RE: usage of hasmntopt() in gnulib

2013-02-19 Thread Joachim Schmitz
> 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 sam

Re: usage of hasmntopt() in gnulib

2013-02-19 Thread 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