Well, this is frustrating: now I can't reproduce the problem either. (Reverted /etc/fstab to its previous state, rebooted several times with no problems.)
To me this suggests some sort of race condition inside udev, and perhaps I should just file a new bug if the problem comes back. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org