mirror of
git://git.sv.gnu.org/coreutils.git
synced 2026-05-20 17:31:07 +02:00
the mount directory exists and has the required device number. Before, e.g., `df /floppy' would mistakenly report on the root partition if /floppy were not listed in /etc/mtab but / was. Patch from Eirik Fuller (http://bugs.debian.org/76923).