bug#12730: bug #12730: patch attached

[Jim Meyering]

Andrew Warshall wrote:
...
> This looks fine.

I've pushed it to gnulib, so this bug will be fixed
in coreutils the next time it syncs from gnulib.

> It should (I hope) have no effect on a system w/o
> MOUNTED_GETMNTENT1; I was more concerned about the effect on anyone
> with MOUNTED_GETMNTENT1 but without hasmntopt (i.e. a non-glibc
> environment with the same getmntent semantics).

If someone discovers/reports that problem, we can easily write a
replacement hasmntopt function.