Comment 26 for bug 8585

So is this problem related to the information in /proc/mounts at all? Or is it
purely a mount(8) problem?
It seems we have two proposed solutions:

1. Add an explicit -t option using the type from fstab
2. Remove the explicit device specification, and let mount look it up itself

Debian previously did #2, but changed because of this bug:

http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=254724

which sounds a bit unclear, but seems to have at least worked around a real
problem. Any objections to #1?